Sciweavers

8190 search results - page 60 / 1638
» From Timed to Hybrid Systems
Sort
View
IJBC
2007
62views more  IJBC 2007»
13 years 7 months ago
Improved Parameter Estimation from Noisy Time Series for Nonlinear Dynamical Systems
Tomomichi Nakamura, Yoshito Hirata, Kevin Judd, De...
AMFG
2007
IEEE
327views Biometrics» more  AMFG 2007»
14 years 2 months ago
Integrating Multiple Visual Cues for Robust Real-Time 3D Face Tracking
Abstract. 3D face tracking is an important component for many computer vision applications. Most state-of-the-art tracking algorithms can be characterized as being either intensity...
Wei-Kai Liao, Douglas Fidaleo, Gérard G. Me...
TACAS
2007
Springer
131views Algorithms» more  TACAS 2007»
14 years 1 months ago
From Time Petri Nets to Timed Automata: An Untimed Approach
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
Davide D'Aprile, Susanna Donatelli, Arnaud Sangnie...
MICCAI
2008
Springer
14 years 8 months ago
A Hybrid System for the Semantic Annotation of Sulco-Gyral Anatomy in MRI Images
This paper presents an interactive system for the annotation of brain anatomical structures in Magnetic Resonance Images. The system is based on hybrid knowledge and techniques. Fi...
Ammar Mechouche, Xavier Morandi, Christine Golbr...