9405 search results - page 1245 / 1881 » Computing a Model of Set Theory |
297
click to vote
TSE
2012
13 years 9 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
194
click to vote
ACL
2012
13 years 9 months ago
2012
We present a novel algorithm for multilingual dependency parsing that uses annotations from a diverse set of source languages to parse a new unannotated language. Our motivation i...
182
click to vote
ICIP
2007
IEEE
16 years 9 months ago
2007
IEEE
This paper presents a probabilistic framework for computing correspondences and fundamental matrix in the structure from motion problem. Inspired by Moisan and Stival [1], we sugg...
204
click to vote
ICML
2008
IEEE
16 years 8 months ago
2008
IEEE
Point clouds are sets of points in two or three dimensions. Most kernel methods for learning on sets of points have not yet dealt with the specific geometrical invariances and pra...
140
click to vote
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
We present a novel algorithm for computing a training set consistent subset for the nearest neighbor decision rule. The algorithm, called FCNN rule, has some desirable properties....