648 search results - page 81 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
AI
1999
Springer
14 years 10 months ago
1999
Springer
We present a new machine learning method that, given a set of training examples, induces a definition of the target concept in terms of a hierarchy of intermediate concepts and th...
POPL
1997
ACM
15 years 3 months ago
1997
ACM
As parallel machines become part of the mainstream computing environment, compilers will need to apply synchronization optimizations to deliver e cient parallel software. This pap...
ICCAD
2004
IEEE
15 years 8 months ago
2004
IEEE
— In deep sub-micron technologies, process variations can cause significant path delay and clock skew uncertainties thereby lead to timing failure and yield loss. In this paper,...
91
Voted
SOQUA
2004
15 years 12 days ago
2004
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
WICSA
2008
15 years 13 days ago
2008
The right software architecture is critical to achieving essential quality attributes, but these qualities are only realized if the program as implemented conforms to its intended...