844 search results - page 36 / 169 » Safraless Decision Procedures |
121
click to vote
CAV
2008
Springer
15 years 1 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...
110
click to vote
ICIP
1999
IEEE
16 years 1 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 ...
113
click to vote
BIRTHDAY
2008
Springer
15 years 1 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...
124
click to vote
SDM
2007
SIAM
15 years 1 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...
145
click to vote
WAPCV
2007
Springer
15 years 6 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...