9730 search results - page 73 / 1946 » Relating models of backtracking |
143
click to vote
SAT
2009
Springer
15 years 9 months ago
2009
Springer
Probabilistic inference techniques can be used to estimate variable bias, or the proportion of solutions to a given SAT problem that fix a variable positively or negatively. Metho...
198
click to vote
IWCLS
2007
Springer
15 years 9 months ago
2007
Springer
Learning Classifier Systems use evolutionary algorithms to facilitate rule- discovery, where rule fitness is traditionally payoff based and assigned under a sharing scheme. Most c...
121
click to vote
IPPS
2006
IEEE
15 years 9 months ago
2006
IEEE
While a wireless sensor network is deployed to monitor certain events and pinpoint their locations, the location information is intended only for legitimate users. However, an eav...
141
click to vote
ICRA
2005
IEEE
15 years 9 months ago
2005
IEEE
— This paper presents a robust model-based visual tracking algorithm that can give accurate 3D pose of a rigid object. Our tracking algorithm uses an incremental pose update sche...
115
click to vote
SPIN
2005
Springer
15 years 8 months ago
2005
Springer
We present a novel algorithm for repairing structurally complex data. Given an assertion that represents desired structural integrity constraints and a structure that violates them...