152 search results - page 25 / 31 » Efficiently Exploiting Dependencies in Local Search for SAT |
83
Voted
ICIP
2003
IEEE
15 years 11 months ago
2003
IEEE
We present a probabilistic method for audio-visual (AV) speaker tracking, using an uncalibrated wide-angle camera and a microphone array. The algorithm fuses 2-D object shape and ...
81
Voted
DIALM
1999
ACM
15 years 2 months ago
1999
ACM
—In this paper, we study the performance of route query control mechanisms for the Zone Routing Protocol (ZRP) for ad hoc networks. ZRP proactively maintains routing information ...
180
click to vote
NLP
2000
15 years 1 months ago
2000
Abstract. The purpose of this paper is (1) to provide a theoretical justification for the use of Monte-Carlo sampling for approximate resolution of NP-hard maximization problems in...
97
Voted
IEEEICCI
2005
IEEE
15 years 3 months ago
2005
IEEE
We want to design a suitable computer for the efficient execution of the software now being developed that will display human-like cognitive abilities. Examples of these potential...
109
click to vote
JAIR
2006
14 years 9 months ago
2006
A decision process in which rewards depend on history rather than merely on the current state is called a decision process with non-Markovian rewards (NMRDP). In decisiontheoretic...