5159 search results - page 278 / 1032 » Structural Testing of Executables |
231
click to vote
ITA
2007
15 years 7 months ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...
163
click to vote
PSYCHNOLOGY
2007
15 years 6 months ago
2007
This paper investigated how people navigate through early Wireless Application Protocol (WAP) sites using their common-sense knowledge of social structures. The study is based on ...
188
click to vote
PKDD
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this paper, we present an extensive study of the cuttingplane algorithm (CPA) applied to structural kernels for advanced text classification on large datasets. In par...
195
click to vote
ICASSP
2009
IEEE
15 years 5 months ago
2009
IEEE
The reduced-reference (RR) approximation of a full-reference (FR) video quality assessment method is a convenient way to build evaluation metrics which are both intrinsically well...
313
click to vote
ACCV
2010
Springer
15 years 2 months ago
2010
Springer
We present a method for optimizing the stereo matching process when it is applied to a series of images with similar depth structures. We observe that there are similar regions wit...