599 search results - page 89 / 120 » Integrating answer set programming and constraint logic prog... |
150
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
How-To queries answer fundamental data analysis questions of the form: “How should the input change in order to achieve the desired output”. As a Reverse Data Management probl...
131
click to vote
SEMWEB
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Nowadays enterprises request information technologies that leverage structured and unstructured information for providing a single integrated view of business problems in...
131
click to vote
ICECCS
2007
IEEE
15 years 7 months ago
2007
IEEE
In recent years, separation logic has emerged as a contender for formal reasoning of heap-manipulating imperative programs. Recent works have focused on specialised provers that a...
120
Voted
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Determining the evolutionary history of a given biological data is an important task in biological sciences. Given a set of quartet topologies over a set of taxa, the Maximum Quart...
132
Voted
ICML
2009
IEEE
16 years 4 months ago
2009
IEEE
This paper addresses exact learning of Bayesian network structure from data and expert's knowledge based on score functions that are decomposable. First, it describes useful ...