648 search results - page 110 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
CAV
2004
Springer
15 years 2 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
COR
2008
14 years 10 months ago
2008
The typical inventory routing problem deals with the repeated distribution of a single product from a single facility with an unlimited supply to a set of customers that can all b...
ICS
2001
Tsinghua U.
15 years 3 months ago
2001
Tsinghua U.
Application performance tuning is a complex process that requires assembling various types of information and correlating it with source code to pinpoint the causes of performance...
106
click to vote
ASPDAC
2001
ACM
15 years 2 months ago
2001
ACM
Abstract-- We describe new graph bipartization algorithms for layout modification and phase assignment of bright-field alternating phaseshifting masks (AltPSM) [25]. The problem of...
101
click to vote
BMCBI
2010
14 years 10 months ago
2010
Background: The task of recognizing and identifying species names in biomedical literature has recently been regarded as critical for a number of applications in text and data min...