Sciweavers

42738 search results - page 272 / 8548
» Search Computing Systems
Sort
View
FGR
2008
IEEE
286views Biometrics» more  FGR 2008»
15 years 10 months ago
Complementary computing for visual tasks: Meshing computer vision with human visual processing
We explore the opportunity to harness electroencephalograph (EEG) signals generated during human visual processing to enhance computer vision systems. We review the challenging ta...
Ashish Kapoor, Desney S. Tan, Pradeep Shenoy, Eric...
139
Voted
CADE
2002
Springer
16 years 4 months ago
Testing Satisfiability of CNF Formulas by Computing a Stable Set of Points
We show that a conjunctive normal form (CNF) formula F is unsatisfiable iff there is a set of points of the Boolean space that is stable with respect to F. So testing the satisfiab...
Eugene Goldberg
GIS
2005
ACM
16 years 5 months ago
Adaptive nearest neighbor queries in travel time networks
Nearest neighbor (NN) searches represent an important class of queries in geographic information systems (GIS). Most nearest neighbor algorithms rely on static distance informatio...
Wei-Shinn Ku, Roger Zimmermann, Haojun Wang, Chi-N...
JSS
2006
111views more  JSS 2006»
15 years 3 months ago
Declarative programming of integrated peer-to-peer and Web based systems: the case of Prolog
Web and peer-to-peer systems have emerged as popular areas in distributed computing, and their integrated usage permits the benefits of both to be exploited. While much work in th...
Seng Wai Loke
126
Voted
ICTAI
1999
IEEE
15 years 8 months ago
On the Fine Structure of Large Search Spaces
Recently there has been significant progress in our understanding of the computational nature of combinatorial problems. Randomized search methods, both complete and incomplete, o...
Carla P. Gomes, Bart Selman