6438 search results - page 50 / 1288 » A Parameterised Search System |
181
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Extracting information and insights from large databases is a time-consuming activity and has received considerable research attention recently. In this demo, we present DynaCet - ...
CIVR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. This paper outlines the technical details of a prototype system for searching and browsing over a million images from the World Wide Web using their visual contents. The ...
EDBT
2008
ACM
15 years 10 months ago
2008
ACM
With the explosion in the amount of semi-structured data users access and store in personal information management systems, there is a need for complex search tools to retrieve of...
CIKM
1999
Springer
15 years 2 months ago
1999
Springer
Large scale networked image retrieval systems face a number of problems that are not fully satis ed by current systems. On one hand, integrated solutions that store all image data...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...