20126 search results - page 397 / 4026 » Timed Transition Systems |
182
click to vote
CAPTECH
1998
Springer
15 years 11 months ago
1998
Springer
An authoring system is proposed to construct panoramic images of real-world scenes from video clips automatically. Instead of using special hardware such as fish-eye lens, our meth...
207
click to vote
SAFECOMP
1998
Springer
15 years 11 months ago
1998
Springer
The main focus of this paper is the problem of ensuring safety properties such as timeliness in safety critical systems. We introduce the OASIS model and its associated techniques ...
188
click to vote
LICS
1990
IEEE
15 years 11 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
183
click to vote
INTERACT
2007
15 years 8 months ago
2007
This paper presents Manas, a Semiotic Engineering epistemic tool for the design of collaborative systems (CoSys) whose aim is to expand the designers’ knowledge and awareness of ...
172
click to vote
WSC
2004
15 years 8 months ago
2004
The paper discusses a panoramic vision system for autonomous navigation purposes. It describes a method for integrating data in real-time from multiple camera sources. The views f...