2826 search results - page 318 / 566 » Maximal Vector Computation in Large Data Sets |
184
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. General refinement types allow types to be refined by predicates written in a general-purpose programming language, and can express function pre- and postconditions and d...
152
click to vote
LREC
2008
15 years 8 months ago
2008
This paper addresses a specific case of the task of lexical acquisition understood as the induction of information about the linguistic characteristics of lexical items on the bas...
166
click to vote
COLING
1990
15 years 7 months ago
1990
This paper describes a new program, correct, which takes words rejected by the Unix spell program, proposes a list of candidate corrections, and sorts them by probability. The pro...
206
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We propose a methodfor segmenting gray-value images. By segmentation, we mean a map from the set of pixels to a small set of levels such that each connected component of the set o...
171
click to vote
IJCV
2002
15 years 6 months ago
2002
Stereo matching is one of the most active research areas in computer vision. While a large number of algorithms for stereo correspondence have been developed, relatively little wo...