192 search results - page 26 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
114
click to vote
FGR
2011
IEEE
14 years 3 months ago
2011
IEEE
— Automatic Facial Expression Recognition and Analysis, in particular FACS Action Unit (AU) detection and discrete emotion detection, has been an active topic in computer science...
127
click to vote
AAAI
2008
15 years 24 days ago
2008
In this poster we describe the tabling techniques for Sequential and Concurrent Horn Transaction Logic. Horn Transaction Logic is an extension of classical logic programming with ...
103
Voted
SIGMOD
1996
ACM
15 years 3 months ago
1996
ACM
Object-Relational and Object-Oriented DBMSs allow users to invoke time-consuming ("expensive") methods in their queries. When queries containing these expensive methods a...
RECSYS
2010
ACM
14 years 12 months ago
2010
ACM
Since the development of the comparably simple neighborhood-based methods in the 1990s, a plethora of techniques has been developed to improve various aspects of collaborative fil...
101
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
This paper proposes a joint feature-based model indexing and geometric constraint based alignment pipeline for efficient and accurate recognition of 3D objects from a large model ...