192 search results - page 19 / 39 » Using SAT-Solvers to Compute Inference-Proof Database Instan... |
101
click to vote
DEXA
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Industrial, scientific, and commercial applications use information systems to trace the execution of a business process. Relevant events are registered in massive logs a...
116
click to vote
ESCIENCE
2006
IEEE
15 years 3 months ago
2006
IEEE
The Online Database of Interlinear Text (ODIN)1 is a database of interlinear text "snippets", harvested mostly from scholarly documents posted to the Web. Although large...
113
click to vote
ICVS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Most visual Simultaneous Localization And Mapping (SLAM) methods use interest points as landmarks in their maps of the environment. Often the interest points are detected...
ACII
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. This paper proposes a case-based automatic facial AU recognition approach using IGA, which embeds human’s ability to compare into target system. To obtain AU codes of a...
125
click to vote
ECCV
2010
Springer
15 years 24 days ago
2010
Springer
We present a fast, simple location recognition and image localization method that leverages feature correspondence and geometry estimated from large Internet photo collections. Suc...