834 search results - page 52 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
144
click to vote
DEDS
2008
15 years 4 months ago
2008
This paper deals with the on-line monitoring of large systems modeled as Petri Nets under partial observation. The plant observation is given by a subset of transitions whose occu...
145
Voted
ML
2006
ACM
15 years 4 months ago
2006
ACM
We propose a simple approach to combining first-order logic and probabilistic graphical models in a single representation. A Markov logic network (MLN) is a first-order knowledge b...
123
click to vote
CVPR
2010
IEEE
16 years 16 days ago
2010
IEEE
We analyze a previously unexplored generalization of the scalar total variation to vector-valued functions, which is motivated by geometric measure theory. A complete mathematical...
106
click to vote
SGP
2007
15 years 6 months ago
2007
Modeling tasks, such as surface deformation and editing, can be analyzed by observing the local behavior of the surface. We argue that defining a modeling operation by asking for ...
125
click to vote
CVPR
2010
IEEE
16 years 2 days ago
2010
IEEE
We propose a data-driven, hierarchical approach for the analysis of human actions in visual scenes. In particular, we focus on the task of in-house assisted living. In such scenar...