6438 search results - page 50 / 1288 » A Parameterised Search System |
ICDE
2009
IEEE
14 years 10 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
14 years 12 days 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
14 years 8 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
14 years 29 days 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
13 years 6 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...