Sciweavers

1123 search results - page 98 / 225
» On Event Based State Estimation
Sort
View
ACSD
2004
IEEE
125views Hardware» more  ACSD 2004»
14 years 1 months ago
Comparison of Methods for Supervisory Control and Submodule Construction
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
Gregor von Bochmann, Bassel Daou
ATAL
2008
Springer
13 years 12 months ago
Simulation of individual spontaneous reactive behavior
The context of this work is the search for realism and believability of Virtual Humans. Our contribution to achieve this goal is to enable Virtual Humans (VH) to react to spontane...
Alejandra García-Rojas, Mario Gutiér...
DAC
2008
ACM
14 years 11 months ago
Predictive dynamic thermal management for multicore systems
Recently, processor power density has been increasing at an alarming rate resulting in high on-chip temperature. Higher temperature increases current leakage and causes poor relia...
Inchoon Yeo, Chih Chun Liu, Eun Jung Kim
ATVA
2009
Springer
172views Hardware» more  ATVA 2009»
14 years 4 months ago
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained Saturation
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
Yang Zhao, Gianfranco Ciardo
UM
2007
Springer
14 years 4 months ago
Inducing User Affect Recognition Models for Task-Oriented Environments
Accurately recognizing users’ affective states could contribute to more productive and enjoyable interactions, particularly for task-oriented learning environments. In addition t...
Sunyoung Lee, Scott W. McQuiggan, James C. Lester