Sciweavers

2048 search results - page 206 / 410
» Intelligent search techniques for large software systems
Sort
View
GECCO
2006
Springer
179views Optimization» more  GECCO 2006»
15 years 10 months ago
Parisian evolution with honeybees for three-dimensional reconstruction
This paper introduces a novel analogy with the way in which honeybee colonies operate in order to solve the problem of sparse and quasi dense reconstruction. To successfully solve...
Gustavo Olague, Cesar Puente
EMSOFT
2003
Springer
15 years 11 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
CLEF
2009
Springer
15 years 7 months ago
TALP at GikiCLEF 2009
This paper describes our experiments in Geographical Information Retrieval with the Wikipedia collection in the context of our participation in the GikiCLEF 2009 Multilingual task...
Daniel Ferrés, Horacio Rodríguez
CIVR
2007
Springer
104views Image Analysis» more  CIVR 2007»
16 years 23 days ago
Semantic facets: an in-depth analysis of a semantic image retrieval system
This paper introduces a faceted model of image semantics which attempts to express the richness of semantic content interpretable within an image. Using a large image data-set fro...
Jonathon S. Hare, Paul H. Lewis, Peter G. B. Enser...
SIGIR
2005
ACM
16 years 4 days ago
Information retrieval system evaluation: effort, sensitivity, and reliability
The effectiveness of information retrieval systems is measured by comparing performance on a common set of queries and documents. Significance tests are often used to evaluate the...
Mark Sanderson, Justin Zobel