4586 search results - page 3 / 918 » Computing stable models in parallel |
154
Voted
LPNMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. We describe a new software, pbmodels, that uses pseudo-boolean constraint solvers (PB solvers) to compute stable models of logic programs with weight atoms. To this end, ...
186
click to vote
LPNMR
1997
Springer
15 years 10 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
169
click to vote
HIPC
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper, we propose a new approach, parallel iterative improvement (PII), to solving the stable matching problem. This approach treats the stable matching problem a...
148
Voted
AIMSA
2008
Springer
16 years 4 days ago
2008
Springer
151
click to vote
CLUSTER
2009
IEEE
15 years 10 months ago
2009
IEEE
—Statistical analysis is widely used for countless scientific applications in order to analyze and infer meaning from data. A key challenge of any statistical analysis package a...