648 search results - page 68 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
103
click to vote
KBSE
2002
IEEE
15 years 4 months ago
2002
IEEE
GenVoca is a methodology and technology for generating product-lines, i.e. building variants of a program. The primitive components from which applications are constructed are ref...
ICCAD
1994
IEEE
15 years 3 months ago
1994
IEEE
Application Specific Instruction-Set Processors (ASIPs) offer designers the ability for high-speed data and control processing with the added flexibility needed for late design sp...
108
click to vote
EDBT
2009
ACM
15 years 5 months ago
2009
ACM
Twig queries have been extensively studied as a major fragment of XPATH queries to query XML data. In this paper, we study PXMLRANK query, (Q, k), which is to rank top-k probabili...
100
click to vote
HIPC
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Lock-free shared data structures in the setting of distributed computing have received a fair amount of attention. Major motivations of lock-free data structures include ...
75
Voted
ATAL
2007
Springer
15 years 5 months ago
2007
Springer
This paper contributes to solve effectively stochastic resource allocation problems known to be NP-Complete. To address this complex resource management problem, a Qdecomposition...