4117 search results - page 339 / 824 » On the Satisfiability of Complex Constraints |
223
click to vote
JVCA
2010
15 years 5 months ago
2010
We present a new algorithm to generate plausible motions for high-DOF human-like articulated figures in constrained environments with multiple obstacles. Our approach is general ...
163
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we address the verification problem of ordered multi-pushdown systems: A multistack extension of pushdown systems that comes with a constraint on stack operations s...
175
click to vote
ICIP
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper describes an optimization framework for reconstructing nonnegative image intensities from linear projections contaminated with Poisson noise. Such Poisson inverse probl...
185
click to vote
ICMCS
2009
IEEE
15 years 4 months ago
2009
IEEE
Distributed Multi-party/Multi-stream systems require a multicast subnetwork capable of satisfying QoS constraints such as Delay and Delay Variation Bound so that the messages reac...
177
click to vote
IFIP12
2009
15 years 4 months ago
2009
We present a system for recognising human behaviour given a symbolic representation of surveillance videos. The input of our system is a set of timestamped short-term behaviours, t...