Sciweavers

3844 search results - page 471 / 769
» Modular interpreted systems
Sort
View
ECBS
2007
IEEE
145views Hardware» more  ECBS 2007»
15 years 10 months ago
Automatic Verification and Performance Analysis of Time-Constrained SysML Activity Diagrams
We present in this paper a new approach for the automatic verification and performance analysis of SysML activity diagrams. Since timeliness is important in the design and analysi...
Yosr Jarraya, Andrei Soeanu, Mourad Debbabi, Fawzi...
ATAL
2006
Springer
15 years 10 months ago
Formalizing typicality of objects and context-sensitivity in ontologies
In multiagent systems ontologies are essential because they facilitate tasks like communications and reasoning. In this paper, inspired by studies in cognitive psychology, we pres...
Ching-man Au Yeung, Ho-fung Leung
FGR
2004
IEEE
164views Biometrics» more  FGR 2004»
15 years 10 months ago
Real-Time Pointing Gesture Recognition for an Immersive Environment
We present an algorithm for the real-time detection and interpretation of pointing gestures, performed with one or both arms. The pointing gestures are used as an intuitive tracki...
Roland Kehl, Luc J. Van Gool
FGR
2006
IEEE
154views Biometrics» more  FGR 2006»
15 years 10 months ago
Toward an Efficient and Accurate AAM Fitting on Appearance Varying Faces
Automatic extraction of facial feature deformations (either due to identity change or expression) is a challenging task and could be the base of a facial expression interpretation...
Hugo Mercier, Julien Peyras, Patrice Dalle
PRICAI
2000
Springer
15 years 10 months ago
Functional Understanding Based on an Ontology of Functional Concepts
Abstract. This article discusses automatic identifications of functional structures of artifacts from given behavioral models of components and their connection information (called...
Yoshinobu Kitamura, Toshinobu Sano, Riichiro Mizog...