424 search results - page 11 / 85 » Realizability models and implicit complexity |
ICIP
1998
IEEE
14 years 9 months ago
1998
IEEE
In this work, we employ a complex representation for an algebraic curve, and illustrate how the algebraic transformation which relates two Euclidean equivalent curves can be deter...
SMA
2003
ACM
14 years 22 days ago
2003
ACM
We present an efficient algorithm to approximate the swept volume (SV) of a complex polyhedron along a given trajectory. Given the boundary description of the polyhedron and a pat...
LATA
2010
Springer
14 years 4 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...
ICIP
2002
IEEE
14 years 9 months ago
2002
IEEE
Tracking and recognizing non-rigid objects in video image sequences are complex tasks of increasing importance to many applications. In this paper, we present a hierarchical reali...
CTRSA
2006
Springer
13 years 11 months ago
2006
Springer
In this work, we initiate the study of realizing a ranking functionality (m1,