1781 search results - page 157 / 357 » Functional Answer Set Programming |
114
click to vote
JMLR
2012
13 years 4 months ago
2012
Bisubmodularity extends the concept of submodularity to set functions with two arguments. We show how bisubmodular maximization leads to richer value-of-information problems, usin...
115
click to vote
PPDP
2009
Springer
15 years 8 months ago
2009
Springer
This paper describes the design goals and current status of tidier, a software tool that tidies Erlang source code, making it cleaner, simpler, and often also more efficient. In ...
133
click to vote
ICLP
1997
Springer
15 years 5 months ago
1997
Springer
Abstract This paper describes a general framework for automatic termination analysis of logic programs, where we understand by termination" the niteness of the LD-tree constru...
137
click to vote
BMCBI
2006
15 years 1 months ago
2006
Background: There have been many algorithms and software programs implemented for the inference of multiple sequence alignments of protein and DNA sequences. The "true" ...
156
click to vote
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
Mapping problem-space features into solution-space features is a fundamental configuration problem in software product line engineering. A configuration problem is defined as g...