Sciweavers

8746 search results - page 267 / 1750
» Diversifying search results
Sort
View
ICPR
2006
IEEE
16 years 7 months ago
Efficient Search and Verification for Function Based Classification from Real Range Images
In this work we propose a probabilistic model for generic object classification from raw range images. Our approach supports a validation process in which classes are verified usi...
Ehud Rivlin, Ilan Shimshoni, Octavian Soldea
WWW
2007
ACM
16 years 7 months ago
On ranking techniques for desktop search
This paper addresses the desktop search problem by considering various techniques for ranking results of a search query over the file system. First, basic ranking techniques, whic...
Sara Cohen, Carmel Domshlak, Naama Zwerdling
CADE
2008
Springer
16 years 7 months ago
randoCoP: Randomizing the Proof Search Order in the Connection Calculus
Abstract. We present randoCoP, a theorem prover for classical firstorder logic, which integrates randomized search techniques into the connection prover leanCoP 2.0. By randomly re...
Thomas Raths, Jens Otten
SIGMOD
2004
ACM
128views Database» more  SIGMOD 2004»
16 years 6 months ago
A TeXQuery-Based XML Full-Text Search Engine
We demonstrate an XML full-text search engine that implements the TeXQuery language. TeXQuery is a powerful fulltext search extension to XQuery that provides a rich set of fully c...
Chavdar Botev, Jayavel Shanmugasundaram, Sihem Ame...
ICIAP
2001
Springer
16 years 6 months ago
A World Wide Web Region-Based Image Search Engine
In this paper the development of an intelligent image content-based search engine for the World Wide Web is presented. Information Web Crawlers continuously traverse the Internet ...
Ioannis Kompatsiaris, Evangelia Triantafyllou, Mic...