834 search results - page 35 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
153
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
A framework for photo-realistic view-dependent image synthesis of a shiny object from a sparse set of images and a geometric model is proposed. Each image is aligned with the 3D m...
164
click to vote
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
In this paper we extend the study of flow-energy scheduling to a model that allows both sleep management and speed scaling. Our main result is a sleep management algorithm called I...
151
click to vote
SUM
2010
Springer
15 years 3 months ago
2010
Springer
Dung's abstract argumentation model consists of a set of arguments and a binary relation encoding attacks among arguments. Different acceptability semantics have been defined ...
131
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
We define the Tight Semantics (TS), a new semantics for all NLPs complying with the requirements of: 2-valued semantics; preserving the models of SM; guarantee of model existence...
172
click to vote
ICDM
2009
IEEE
15 years 3 months ago
2009
IEEE
Discovering episodes, frequent sets of events from a sequence has been an active field in pattern mining. Traditionally, a level-wise approach is used to discover all frequent epis...