Sciweavers

963 search results - page 47 / 193
» Modeling and analysis of real -time systems with mutex compo...
Sort
View
CASES
2011
ACM
13 years 9 months ago
Enabling parametric feasibility analysis in real-time calculus driven performance evaluation
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...
Alena Simalatsar, Yusi Ramadian, Kai Lampka, Simon...
ACL
1998
14 years 11 months ago
A Model for Robust Processing of Spontaneous Speech by Integrating Viable Fragments
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
Karsten L. Worm
106
Voted
AAAI
1994
14 years 11 months ago
A Model of Creative Understanding
Although creativity has largely been studied in problem solving contexts, creativity consists of both a generative component and a comprehension component. In particular, creativi...
Kenneth Moorman, Ashwin Ram
WIAMIS
2009
IEEE
15 years 4 months ago
Modelling user attention for human-agent interaction
In this work, we propose a design for a user attention model featuring three core components. Our system components can work in real-time, offering indications of user attention f...
Christopher Peters, Stylianos Asteriadis, Genaro R...
IFM
2009
Springer
155views Formal Methods» more  IFM 2009»
14 years 7 months ago
Application of Graph Transformation in Verification of Dynamic Systems
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
Zarrin Langari, Richard J. Trefler