135 search results - page 17 / 27 » Relating timed and register automata |
HYBRID
1994
Springer
14 years 6 hour ago
1994
Springer
This paper presents algorithms for the symbolic synthesis of discrete and real-time controllers. At the semantic level the controller is synthesized by nding a winning strategy for...
DAC
2009
ACM
14 years 9 months ago
2009
ACM
State elements are increasingly vulnerable to soft errors due to their decreasing size, and the fact that latched errors cannot be completely eliminated by electrical or timing ma...
IPCV
2007
13 years 9 months ago
2007
This paper presents a novel method for performing the registration and gamma correction of images in a simultaneous manner. The image registration and relative gamma estimation pro...
CVPR
1999
IEEE
14 years 10 months ago
1999
IEEE
This paper presents a method for registering images at different magnifications (scales) by treating the problem not only as one of scaling the image coordinates but also as one i...
3DPVT
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a new method for registering computer tomography (CT) volumetric data of human bone structures relative to observations made at different times. The system we ...