834 search results - page 37 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
SG
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. We propose a meta user interface to design the user interface to tune vector-valued parameters of a given parametrized model. In our framework, the user defines a desire...
ICCV
1995
IEEE
15 years 3 months ago
1995
IEEE
This paper presents a framework for implicit deformable models and a pair of new algorithms for solving the nonlinear partial di erential equations that result from this framework...
FOCS
2004
IEEE
15 years 3 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...
122
click to vote
SGAI
2010
Springer
14 years 6 months ago
2010
Springer
: In the present paper we address the problem of computing the Minimal Additional Sensor Sets (MASS) that guarantee a desired level of diagnostic discrimination for a system. Recen...
110
click to vote
HPDC
2010
IEEE
15 years 26 days ago
2010
IEEE
In preparation for the Intergovernmental Panel on Climate Change (IPCC) Fifth Assessment Report, the climate community will run the Coupled Model Intercomparison Project phase 5 (...