7167 search results - page 1272 / 1434 » Answer Set Programming |
Publication
Continuing improvements in CPU and GPU performances as well as increasing multi-core processor and cluster-based parallelism demand for flexible and scalable parallel rendering sol...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
The structural properties of graphs are usually characterized in terms of invariants, which are functions of graphs that do not depend on the labeling of the nodes. In this paper ...
CVPR
2011
IEEE
13 years 5 months ago
2011
IEEE
We present a new paradigm for tracking objects in video in the presence of other similar objects. This branch-andtrack paradigm is also useful in the absence of motion, for the di...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Abstract-- We propose a formal method for feedback controller synthesis using interactive computer programs with graphical interface (in short, computer games). The main theoretica...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
In the past decade, moving horizon estimation (MHE) has emerged as a powerful technique for estimating the state of a dynamical system in the presence of nonlinearities and disturb...