Sciweavers

4348 search results - page 298 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
VCIP
2003
118views Communications» more  VCIP 2003»
15 years 8 months ago
Object and event recognition for stroke rehabilitation
Stroke is a major cause of disability and health care expenditure around the world. Existing stroke rehabilitation methods can be effective but are costly and need to be improved....
Ahmed Ghali, Andrew S. Cunningham, Tony P. Pridmor...
MJ
2006
89views more  MJ 2006»
15 years 6 months ago
RTDT: A static QoS manager, RT scheduling, HW/SW partitioning CAD tool
The Hardware (HW)/Software (SW) partitioning/scheduling relies on two subtasks : the cost function and the real time (RT) analysis. Besides these two subtasks, the proposed generi...
Hedi Tmar, Jean-Philippe Diguet, Abdenour Azzedine...
MIAR
2010
IEEE
15 years 5 months ago
Marker-Free Registration for Electromagnetic Navigation Bronchoscopy under Respiratory Motion
Abstract. Electromagnetic navigation bronchoscopy requires the accurate registration of a preinterventional computed tomography (CT) image to the coordinate system of the electroma...
Marco Feuerstein, Takamasa Sugiura, Daisuke Deguch...
CVPR
2005
IEEE
16 years 8 months ago
Subspace Analysis Using Random Mixture Models
In [1], three popular subspace face recognition methods, PCA, Bayes, and LDA were analyzed under the same framework and an unified subspace analysis was proposed. However, since t...
Xiaogang Wang, Xiaoou Tang
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
16 years 8 days ago
Model Checking C Programs Using F-SOFT
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta, Mala...