874 search results - page 23 / 175 » Computing Weighted Solutions in Answer Set Programming |
97
Voted
ICPPW
2005
IEEE
15 years 6 months ago
2005
IEEE
We report on a £rst parallel implementation of a recent algorithm to factor positive dimensional solution sets of polynomial systems. As the algorithm uses homotopy continuation,...
122
click to vote
ICTAI
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--Today's molecular biology is confronted with enormous amounts of data, generated by new high-throughput technologies, along with an increasing number of biological m...
110
click to vote
PPDP
2010
Springer
14 years 11 months ago
2010
Springer
The presence of uncertainty in the real world makes robustness to be a desired property of solutions to constraint satisfaction problems. Roughly speaking, a solution is robust if...
115
Voted
FOCS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--We consider statistical data analysis in the interactive setting. In this setting a trusted curator maintains a database of sensitive information about individual partici...
182
Voted
ICLP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present the first comprehensive approach to integrating cardinality and weight rules into conflict-driven ASP solving. We begin with a uniform, constraint-based charac...