Sciweavers

6438 search results - page 117 / 1288
» A Parameterised Search System
Sort
View
140
Voted
ICDE
2008
IEEE
139views Database» more  ICDE 2008»
15 years 10 months ago
Augmenting spatio-textual search with an infectious disease ontology
— A system is described that automatically categorizes and classifies infectious disease incidence reports by type and geographic location, to aid analysis by domain experts. It...
Michael D. Lieberman, Jagan Sankaranarayanan, Hana...
ICRA
2008
IEEE
158views Robotics» more  ICRA 2008»
15 years 10 months ago
Informed visual search: Combining attention and object recognition
Abstract— This paper studies the sequential object recognition problem faced by a mobile robot searching for specific objects within a cluttered environment. In contrast to curr...
Per-Erik Forssén, David Meger, Kevin Lai, S...
127
Voted
ICMCS
2005
IEEE
136views Multimedia» more  ICMCS 2005»
15 years 9 months ago
Efficient Hardware Search Engine for Associative Content Retrieval of Long Queries in Huge Multimedia Databases
Due to the enormous increase in the stored digital contents, search and retrieval functionalities are necessary in multimedia systems. Though processor speed for standard PCs (Per...
Christophe Layer, Hans-Jörg Pfleiderer
ICADL
2004
Springer
161views Education» more  ICADL 2004»
15 years 9 months ago
An Implementation of Web Image Search Engines
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
Zhiguo Gong, Leong Hou U, Chan Wa Cheang
FOCS
1999
IEEE
15 years 8 months ago
A Study of Proof Search Algorithms for Resolution and Polynomial Calculus
This paper is concerned with the complexity of proofs and of searching for proofs in two propositional proof systems: Resolution and Polynomial Calculus (PC). For the former syste...
Maria Luisa Bonet, Nicola Galesi