2654 search results - page 432 / 531 » On Pairing Inversion Problems |
144
click to vote
CAV
2000
Springer
15 years 8 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
106
click to vote
AGP
1999
IEEE
15 years 8 months ago
1999
IEEE
We study the problem of an efficient and precise sharing analysis of (constraint) logic programs. After recognizing that neither aring nor its non-redundant (but equivalent) abstra...
124
click to vote
DATE
1999
IEEE
15 years 8 months ago
1999
IEEE
Previous work has shown that sizable power reductions can be achieved by shutting down a system's sub-circuits when they are not needed. However, these shutdown techniques fo...
127
click to vote
VR
1999
IEEE
15 years 8 months ago
1999
IEEE
Navigation and interaction in virtual environments that use stereoscopic head-tracked displays and have very large data sets present several challenges beyond those encountered wi...
176
click to vote
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper the problem of obtaining 3D models from image sequences is addressed. The proposed method deals with uncalibrated monocular image sequences. No prior knowledge about...