844 search results - page 36 / 169 » Safraless Decision Procedures |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
We present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic and equality with uninterpreted function symbols. Our implementa...
ICIP
1999
IEEE
14 years 10 months ago
1999
IEEE
We address a new perceptual grouping algorithmfor aerial images, which employs a decision tree classifier and hierarchical multilevel grouping strategy an a bottom-up fashion. In ...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
The paper is an overview of a recently developed compilation data structure for graphical models, with specific application to constraint networks. The AND/OR Multi-Valued Decision...
SDM
2007
SIAM
13 years 10 months ago
2007
SIAM
Decision lists (or ordered rule sets) have two attractive properties compared to unordered rule sets: they require a simpler classification procedure and they allow for a more co...
WAPCV
2007
Springer
14 years 2 months ago
2007
Springer
The innovation of this work is the provision of a system that learns visual encodings of attention patterns and that enables sequential attention for object detection in real world...