8724 search results - page 73 / 1745 » Search result diversification |
169
click to vote
CEC
2010
IEEE
14 years 9 months ago
2010
IEEE
—Mobile cooperative sensor networks are increasingly used for surveillance and reconnaissance tasks to support domain picture compilation. However, efficient distributed informat...
194
click to vote
SDM
2012
SIAM
13 years 7 months ago
2012
SIAM
Many high-profile applications pose high-dimensional nearest-neighbor search problems. Yet, it still remains difficult to achieve fast query times for state-of-the-art approache...
371
click to vote
VR
2011
IEEE
14 years 9 months ago
2011
IEEE
Abstract This paper presents Limpid Desk, which supports document search on a physical desktop by making the upper layer of a document stack transparent in a projection-based mixed...
162
click to vote
ACL
2011
14 years 9 months ago
2011
Marking up search queries with linguistic annotations such as part-of-speech tags, capitalization, and segmentation, is an important part of query processing and understanding in ...
209
click to vote
FROCOS
2011
Springer
14 years 5 months ago
2011
Springer
A dominant approach to Satisfiability Modulo Theories (SMT) relies on the integration of a Conflict-Driven-Clause-Learning (CDCL) SAT solver and of a decision procedure able to h...