Sciweavers

4491 search results - page 48 / 899
» Algorithm Engineering
Sort
View
DAC
2001
ACM
14 years 9 months ago
Chaff: Engineering an Efficient SAT Solver
Boolean Satisfiability is probably the most studied of combinatorial optimization/search problems. Significant effort has been devoted to trying to provide practical solutions to ...
Matthew W. Moskewicz, Conor F. Madigan, Ying Zhao,...
HICSS
2010
IEEE
166views Biometrics» more  HICSS 2010»
14 years 2 months ago
Spatial Variation in Search Engine Results
Geographic information retrieval (GIR) is, as a branch of traditional information retrieval, a discipline that tries to enrich data with geographical information to make it suitab...
David Noack
MM
2006
ACM
134views Multimedia» more  MM 2006»
14 years 1 months ago
The mediamill large.lexicon concept suggestion engine
In this technical demonstration we show the current version of the MediaMill system, a search engine that facilitates access to news video archives at a semantic level. The core o...
Marcel Worring, Cees G. M. Snoek, Bouke Huurnink, ...
CIKM
2010
Springer
13 years 6 months ago
EntityEngine: answering entity-relationship queries using shallow semantics
We introduce EntityEngine, a system for answering entityrelationship queries over text. Such queries combine SQLlike structures with IR-style keyword constraints and therefore, ca...
Xiaonan Li, Chengkai Li, Cong Yu
CVPR
2001
IEEE
14 years 10 months ago
Dimension Recognition and Geometry Reconstruction in Vectorization of Engineering Drawings
This paper presents a novel approach for recognizing and interpreting dimensions in engineering drawings. It starts by detecting potential dimension frames, each comprising only t...
Feng Su, Jiqiang Song, Chiew-Lan Tai, Shijie Cai