648 search results - page 118 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
101
click to vote
PVLDB
2010
14 years 9 months ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...
CPAIOR
2009
Springer
15 years 5 months ago
2009
Springer
In this abstract, we present a rule-based modelling language for constraint programming, called Rules2CP [1], and a library PKML for modelling packing problems. Unlike other modell...
105
click to vote
CGO
2011
IEEE
14 years 2 months ago
2011
IEEE
—Approximating ideal program outputs is a common technique for solving computationally difficult problems, for adhering to processing or timing constraints, and for performance ...
110
click to vote
INFOCOM
2012
IEEE
13 years 29 days ago
2012
IEEE
Abstract—Opportunistic wireless channel access by nonlicensed users has emerged as a promising solution for addressing the bandwidth scarcity challenge. Auctions represent a natu...
100
click to vote
BMCBI
2008
14 years 10 months ago
2008
Background: Searching for similarities in protein and DNA databases has become a routine procedure in Molecular Biology. The Smith-Waterman algorithm has been available for more t...