874 search results - page 23 / 175 » Computing Weighted Solutions in Answer Set Programming |
113
Voted
ICPPW
2005
IEEE
15 years 8 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,...
140
Voted
ICTAI
2010
IEEE
15 years 20 days 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...
134
Voted
PPDP
2010
Springer
15 years 1 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...
135
Voted
FOCS
2010
IEEE
15 years 22 days 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...
198
Voted
ICLP
2009
Springer
16 years 3 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...