Sciweavers

1678 search results - page 188 / 336
» An ASM Specification of C
Sort
View
150
Voted
IEAAIE
2004
Springer
15 years 11 months ago
Recognition of Emotional States in Spoken Dialogue with a Robot
For flexible interactions between a robot and humans, we address the issue of automatic recognition of human emotions during the interaction such as embarrassment, pleasure, and af...
Kazunori Komatani, Ryosuke Ito, Tatsuya Kawahara, ...
KES
2004
Springer
15 years 11 months ago
The Correspondence Problem in Topological Metric Mapping - Using Absolute Metric Maps to Close Cycles
In Simultaneous Localisation and Mapping (SLAM) the correspondence problem, specifically detecting cycles, is one of the most difficult challenges for an autonomous mobile robot. ...
Margaret E. Jefferies, Michael C. Cosgrove, Jesse ...
SEKE
2004
Springer
15 years 11 months ago
Grammatically Interpreting Feature Compositions
Feature modeling is a popular domain analysis method for describing the commonality and variability among the domain products. The current formalisms of feature modelling do not ha...
Wei Zhao, Barrett R. Bryant, Fei Cao, Rajeev R. Ra...
EDOC
2003
IEEE
15 years 11 months ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...
ISADS
2003
IEEE
15 years 11 months ago
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
K. H. Kim, Seok-Joong Kang