152 search results - page 21 / 31 » Efficiently Exploiting Dependencies in Local Search for SAT |
CLUSTER
2004
IEEE
14 years 9 months ago
2004
IEEE
The efficient use of network capacity in shared restoration schemes strongly depends upon the path selection procedure. In this paper we propose and evaluate path selection algorit...
EMNLP
2009
14 years 7 months ago
2009
Jointly parsing two languages has been shown to improve accuracies on either or both sides. However, its search space is much bigger than the monolingual case, forcing existing ap...
ECAI
2008
Springer
14 years 11 months ago
2008
Springer
Building adaptive constraint solvers is a major challenge in constraint programming. An important line of research towards this goal is concerned with ways to dynamically adapt th...
82
Voted
ICIP
2006
IEEE
15 years 11 months ago
2006
IEEE
H.264 is the current state-of-the-art monoscopic video codec providing almost twice the coding efficiency with the same quality comparing the previous codecs. With the increasing ...
104
click to vote
CF
2007
ACM
15 years 1 months ago
2007
ACM
In the life sciences, genomic databases for sequence search have been growing exponentially in size. As a result, faster sequencesearch algorithms to search these databases contin...