844 search results - page 124 / 169 » Safraless Decision Procedures |
ICPR
2004
IEEE
16 years 28 days ago
2004
IEEE
We propose an eye detection and tracking method based on color and geometrical features of the human face using a monocular camera. In this method a decision is made on whether th...
ICML
2002
IEEE
16 years 19 days ago
2002
IEEE
This paper addresses cost-sensitive classification in the setting where there are costs for measuring each attribute as well as costs for misclassification errors. We show how to ...
183
click to vote
ICDT
2009
ACM
16 years 16 days ago
2009
ACM
We study containment and equivalence of (unions of) conjunctive queries on relations annotated with elements of a commutative semiring. Such relations and the semantics of positiv...
WWW
2008
ACM
16 years 15 days ago
2008
ACM
Applications of semantic technologies often require the representation of and reasoning with structured objects--that is, objects composed of parts connected in complex ways. Alth...
190
click to vote
POPL
2009
ACM
16 years 14 days ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...