220 search results - page 14 / 44 » Using Difference Reduction for Generic Proof Search |
103
Voted
IS
2008
15 years 2 months ago
2008
In recent years, while search engines have become more and more powerful, several specialized search engines have been developed for different domains (e.g. library services, serv...
123
Voted
ICPR
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper describes an approach to attention based layout segmentation using general principles of the human visual perception to achieve this goal. The text is considered as tex...
115
Voted
BMCBI
2008
15 years 2 months ago
2008
Background: Similarity inference, one of the main bioinformatics tasks, has to face an exponential growth of the biological data. A classical approach used to cope with this data ...
133
Voted
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Building content-based search tools for feature-rich data has been a challenging problem because feature-rich data such as audio recordings, digital images, and sensor data are in...
144
Voted
GIS
2010
ACM
15 years 1 months ago
2010
ACM
Local search is a specialization of the web search that allows users to submit geographically constrained queries. However, one of the challenges for local search engines is to un...