834 search results - page 13 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
SIGGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
We present a technique for learning clothing models that enables the simultaneous animation of thousands of detailed garments in real-time. This surprisingly simple conditional mo...
DAC
2005
ACM
16 years 20 days ago
2005
ACM
In this paper an optimization based model order reduction (MOR) framework is proposed. The method involves setting up a quasiconvex program that explicitly minimizes a relaxation ...
ICDCS
2007
IEEE
15 years 3 months ago
2007
IEEE
We consider a model for decentralized collaborative networks that is based on stable matching theory. This model is applied to systems with a global ranking utility function, whic...
CP
2007
Springer
15 years 5 months ago
2007
Springer
Defence trees and CP-net (ceteris paribus network) are two useful approaches that can be used to help a system administrator to analyze a security scenario and to give him a model ...
102
click to vote
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...