834 search results - page 90 / 167 » Computing Minimal Models, Stable Models, and Answer Sets |
AUTOMATICA
2010
14 years 10 months ago
2010
In this paper we present an efficient approach for the fault detection of discrete event systems using Petri nets. We assume that some of the transitions of the net are unobservabl...
IWCM
2004
Springer
15 years 5 months ago
2004
Springer
We present a variational approach for segmenting the image plane into regions of piecewise parametric motion given two or more frames from an image sequence. Our model is based on ...
110
click to vote
CVPR
2000
IEEE
16 years 1 months ago
2000
IEEE
We define a process called congealing in which elements of a dataset (images) are brought into correspondence with each other jointly, producing a data-defined model. It is based ...
112
click to vote
EGPGV
2004
Springer
15 years 5 months ago
2004
Springer
This paper investigates assignment strategies (load balancing algorithms) for process farms which solve the problem of online placement of a constant number of independent tasks w...
SIGGRAPH
1993
ACM
15 years 4 months ago
1993
ACM
We present a method for solving the following problem: Given a set of data points scattered in three dimensions and an initial triangular mesh M0, produce a mesh M, of the same to...