648 search results - page 62 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
126
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: Since the publication of the first draft of the human genome in 2000, bioinformatic data have been accumulating at an overwhelming pace. Currently, more than 3 million...
195
click to vote
SIGMOD
2006
ACM
16 years 1 months ago
2006
ACM
We study the problem of finding efficient equivalent viewbased rewritings of relational queries, focusing on query optimization using materialized views under the assumption that ...
112
click to vote
ICC
2008
IEEE
15 years 7 months ago
2008
IEEE
—Taking advantage of the frequency diversity and multiuser diversity in OFDMA based wireless networks, dynamic subcarrier assignment mechanisms have shown to be able to achieve m...
112
click to vote
LPNMR
2001
Springer
15 years 5 months ago
2001
Springer
In this paper bounded model checking of asynchronous concurrent systems is introduced as a promising application area for answer set programming. As the model of asynchronous syst...
136
click to vote
RTSS
2002
IEEE
15 years 6 months ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...