1098 search results - page 66 / 220 » System safety as an emergent property in composite systems |
AVSS
2005
IEEE
14 years 2 months ago
2005
IEEE
We present in this paper a real-time system for shape recognition. The proposed system is a video and multisensor platform that is able to classify the mobile objects evolving in ...
ECLIPSE
2007
ACM
14 years 24 days ago
2007
ACM
In this paper we detail the design and implementation of an Eclipse plug-in that supports construction, analysis and elaboration of Modal Transition Systems. The plug-in supports ...
MICCAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...
FLAIRS
2000
13 years 10 months ago
2000
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
IEEESCC
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...