220 search results - page 14 / 44 » Using Difference Reduction for Generic Proof Search |
IS
2008
13 years 8 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...
ICPR
2000
IEEE
14 years 9 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...
BMCBI
2008
13 years 8 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 ...
EUROSYS
2006
ACM
14 years 5 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...
GIS
2010
ACM
13 years 6 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...