5232 search results - page 17 / 1047 » Generative modeling: a symbolic system for geometric modelin... |
IIHMSP
2006
IEEE
14 years 1 months ago
2006
IEEE
Visual analysis of human behavior has generated considerable interest in the field of computer vision because of the wide spectrum of potential applications. In this paper, we pre...
HYBRID
2004
Springer
14 years 26 days ago
2004
Springer
MOBILWARE
2009
ACM
14 years 2 months ago
2009
ACM
APN
2004
Springer
14 years 26 days ago
2004
Springer
Generating the reachability set is one of the most commonly required step when analyzing the logical or stochastic behavior of a system modeled with Petri nets. Traditional “expl...
FORTE
2003
13 years 8 months ago
2003
We present a new, on-the-fly algorithm that given a push-down model representing a sequential program with (recursive) procedure calls and an extended finite-state automaton repr...