2109 search results - page 317 / 422 » Solving Necklace Constraint Problems |
107
click to vote
PPDP
2005
Springer
15 years 10 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
136
click to vote
3DIM
2003
IEEE
15 years 9 months ago
2003
IEEE
In this contribution we firstly review some approaches to recover the 3D shape of human figures and the related movements. Then we present an improved and reliable version of an e...
128
click to vote
PG
2003
IEEE
15 years 9 months ago
2003
IEEE
We present an algorithm to construct a tight bounding polyhedron for a recursive procedural model. We first use an iterated function system (IFS) to represent the extent of the p...
106
click to vote
ISAAC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. We define an algorithm for determining, in a linear number of symbolic steps, the biconnected components of a graph implicitly represented with Ordered Binary Decision D...
145
Voted
ICPR
2002
IEEE
15 years 9 months ago
2002
IEEE
Human recognition from video requires solving the two tasks, recognition and tracking, simultaneously. This leads to a parameterized time series state space model, representing bo...