4488 search results - page 475 / 898 » Focusing Search by Using Problem Solving Experience |
196
click to vote
CP
2006
Springer
15 years 10 months ago
2006
Springer
In recent years, dynamic local search (DLS) clause weighting algorithms have emerged as the local search state-of-the-art for solving propositional satisfiability problems. However...
269
click to vote
CVPR
2012
IEEE
14 years 13 days ago
2012
IEEE
We present a new algorithm to jointly track multiple objects in multi-view images. While this has been typically addressed separately in the past, we tackle the problem as a single...
160
click to vote
CODES
2006
IEEE
16 years 17 days ago
2006
IEEE
Lowering down the chip temperature is becoming one of the important design considerations, since temperature adversely and seriously affects many of design qualities, such as reli...
171
click to vote
FATES
2005
Springer
16 years 1 days ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: The discovery of cis-regulatory motifs still remains a challenging task even though the number of sequenced genomes is constantly growing. Computational analyses using...