592 search results - page 93 / 119 » Social, Structured and Semantic Search |
120
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
116
click to vote
MICS
2010
15 years 12 days ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
143
click to vote
CVPR
2009
IEEE
16 years 9 months ago
2009
IEEE
We describe an algorithm for similar-image search which
is designed to be efficient for extremely large collections of
images. For each query, a small response set is selected by...
145
click to vote
ICTAI
1993
IEEE
15 years 6 months ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
149
click to vote
ICDE
2010
IEEE
16 years 1 months ago
2010
IEEE
The proliferation of electronic content has notably lead to the apparition of large corpora of interrelated structured documents (such as HTML and XML Web pages) and semantic annot...