553 search results - page 106 / 111 » A Perspective on Component Refinement |
BIRTHDAY
2010
Springer
14 years 9 days ago
2010
Springer
Egon Börger Ambient Abstract State Machines with Applications 11:00 AM Manfred Broy Realizability of System Interface Specifications 11:30 AM Ofer Strichman Proving Equivalence be...
CDC
2009
IEEE
14 years 6 days ago
2009
IEEE
Abstract— We consider the simplest model for controlling the rotation of a molecule by the action of an electric field, namely a quantum planar pendulum. This problem consists i...
IJCNN
2000
IEEE
13 years 12 months ago
2000
IEEE
eresting web-available abstracts and papers on clustering: An Analysis of Recent Work on Clustering Algorithms (1999), Daniel Fasulo : This paper describes four recent papers on cl...
SIGUCCS
2000
ACM
13 years 12 months ago
2000
ACM
This paper will provide a useful guide to those schools that have not yet implemented IMAP and are considering doing so. With both the systems and user services perspectives, any ...
ICCV
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper explores the direct motion estimation problem assuming that video-rate depth information is available, from either stereo cameras or other sensors. We use these depth m...