245 search results - page 15 / 49 » Locating phase transitions in computationally hard problems |
129
Voted
ICTAI
2007
IEEE
15 years 8 months ago
2007
IEEE
Lookahead is a well-known constraint propagation technique for DPLL-based SAT and answer set solvers. Despite its space pruning power, it can also slow down the search, due to its...
110
click to vote
ECCV
2002
Springer
16 years 3 months ago
2002
Springer
Getting trapped in suboptimal local minima is a perennial problem in model based vision, especially in applications like monocular human body tracking where complex nonlinear para...
107
click to vote
IPPS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper addresses the problem of scatternet formation and maintenance for multi-hop Bluetooth based personal area and ad hoc networks with minimal communication overhead. Each ...
122
click to vote
MOBISYS
2004
ACM
16 years 1 months ago
2004
ACM
We study the problem of tracking a moving device under two indoor location architectures: an active mobile architecture and a passive mobile architecture. In the former, the infra...
SIGCOMM
1993
ACM
15 years 5 months ago
1993
ACM
The paper considers a network with many apparently-independent periodic processes and discusses one method by which these processes can inadvertently become synchronized. In parti...