648 search results - page 33 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
136
click to vote
EC
2008
15 years 1 months ago
2008
The development of successful metaheuristic algorithms such as local search for a difficult problems such as satisfiability testing (SAT) is a challenging task. We investigate an ...
108
click to vote
ISPASS
2006
IEEE
15 years 7 months ago
2006
IEEE
Fast, accurate, and effective performance analysis is essential for the design of modern processor architectures and improving application performance. Recent trends toward highly...
121
click to vote
ICS
2003
Tsinghua U.
15 years 6 months ago
2003
Tsinghua U.
Communication latencies within critical sections constitute a major bottleneck in some classes of emerging parallel workloads. In this paper, we argue for the use of Inferentially...
123
click to vote
BMCBI
2005
15 years 1 months ago
2005
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
COR
2006
15 years 1 months ago
2006
Home health care, i.e. visiting and nursing patients in their homes, is a growing sector in the medical service business. From a staff rostering point of view, the problem is to f...