Sciweavers

8928 search results - page 570 / 1786
» Modeling Current Events
Sort
View
FGR
2004
IEEE
135views Biometrics» more  FGR 2004»
15 years 11 months ago
Bayesian Fusion of Hidden Markov Models for Understanding Bimanual Movements
Understanding hand and body gestures is a part of a wide spectrum of current research in computer vision and Human-Computer Interaction. A part of this can be the recognition of m...
Atid Shamaie, Alistair Sutherland
ESAW
2006
Springer
15 years 11 months ago
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
Marco Stuit, Nick B. Szirbik
ICCD
1997
IEEE
90views Hardware» more  ICCD 1997»
15 years 10 months ago
TITAC-2: An asynchronous 32-bit microprocessor based on Scalable-Delay-Insensitive model
Asynchronous design has a potential of solving many difficulties, such as clock skew and power consumption, which synchronous counterpart suffers with current and future VLSI tech...
Akihiro Takamura, Masashi Kuwako, Masashi Imai, Ta...
CAV
2010
Springer
173views Hardware» more  CAV 2010»
15 years 10 months ago
A Model Checker for AADL
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Ka...
CDC
2009
IEEE
127views Control Systems» more  CDC 2009»
15 years 10 months ago
Model driven design in industrial automation
—Current industrial applications demand the design of more and more complex, safe and trustworthy control systems which exhibit a high degree of flexibility and reutilization. To...
Elisabet Estevez, Isabel Sarachaga, Federico Perez...