1087 search results - page 41 / 218 » Generation under Space Constraints |
122
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
114
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An importa...
150
click to vote
CVPR
2010
IEEE
15 years 9 months ago
2010
IEEE
Given a set of 2D images, we propose a novel approach for the reconstruction of straight 3D line segments that represent the underlying geometry of static 3D objects in the scene....
134
click to vote
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— In the past, there has been a tremendous advance in the area of simultaneous localization and mapping (SLAM). However, there are relatively few approaches for incorporating pri...
139
click to vote
ICANN
2003
Springer
15 years 9 months ago
2003
Springer
We suggest a new approach to optimize the learning of sparse features under the constraints of explicit transformation symmetries imposed on the set of feature vectors. Given a set...