834 search results - page 31 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
APCCM
2008
15 years 1 months ago
2008
Modeling is core software engineering practice. Conceptual models are constructed to establish an abstract understanding of the domain among stakeholders. These are then refined i...
138
click to vote
CONCUR
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. The technique of partial order reduction (POR) for probabilistic model checking prunes the state space of the model so that a maximizing scheduler and a minimizing one pe...
MICCAI
2000
Springer
15 years 3 months ago
2000
Springer
In this paper, the problem of retrospective correction of intensity inhomogeneity in magnetic resonance (MR) images is addressed. A novel model-based correction method is proposed,...
119
click to vote
CVGIP
2006
14 years 11 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...
102
click to vote
CRYPTO
2012
Springer
13 years 2 months ago
2012
Springer
Abstract. We present the first black-box construction of a secure multiparty computation protocol that satisfies a meaningful notion of concurrent security in the plain model (wi...