648 search results - page 50 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
118
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
124
click to vote
ASP
2005
Springer
15 years 7 months ago
2005
Springer
In previous work, action languages have predominantly been concerned with domains in which values are static unless changed by an action. Real domains, however, often contain value...
109
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
Concurrent engineering has been widely used in managing design projects to speed up the design process by concurrently performing multiple tasks. Since the progress of a design tas...
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
The placement of regenerators in optical networks has become an active area of research during the last years. Given a set of lightpaths in a network G and a positive integer d, re...
125
click to vote
DATESO
2007
15 years 2 months ago
2007
When searching databases of nucleotide or protein sequences, finding a local alignment of two sequences is one of the main tasks. Since the sizes of available databases grow const...