Sciweavers

4763 search results - page 347 / 953
» On the Execution of Deep Models
Sort
View
SRDS
2008
IEEE
16 years 1 months ago
Application-Level Recovery Mechanisms for Context-Aware Pervasive Computing
We identify here various kinds of failure conditions and robustness issues that arise in context-aware pervasive computing applications. Such conditions are related to failures in...
Devdatta Kulkarni, Anand Tripathi
ICCS
2005
Springer
16 years 10 days ago
Simulating Market Dynamics with CD++
CD++ is an implementation of the Cell-DEVS formalism, which has been used to simulate various complex systems. In this study, we constructed a Cell-DEVS to simulate the dynamics of...
Qi Liu, Gabriel A. Wainer
ADS
2004
Springer
16 years 7 days ago
Affective Advice Giving Dialogs
In affective dialog simulation, recognition and interpretation of the affective state of the user should be integrated with display of empathy by the system and with dialog plannin...
Addolorata Cavalluzzi, Valeria Carofiglio, Fiorell...
CAV
2004
Springer
77views Hardware» more  CAV 2004»
16 years 7 days ago
Understanding Counterexamples with explain
The counterexamples produced by model checkers are often lengthy and difficult to understand. In practical verification, showing the existence of a (potential) bug is not enough: ...
Alex Groce, Daniel Kroening, Flavio Lerda
CODES
1999
IEEE
15 years 11 months ago
Scheduling with optimized communication for time-triggered embedded systems
We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems. Our system model captures both the flow of data and that of control. Th...
Paul Pop, Petru Eles, Zebo Peng