76 search results - page 13 / 16 » Discretization of Temporal Models with Application to Planni... |
FMSD
2010
13 years 6 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
This paper presents a novel application of speech emotion recognition: estimation of the level of conversational engagement between users of a voice communication system. We begin...
GI
2005
Springer
14 years 1 months ago
2005
Springer
: A distributed service to model and control contextual information in mobile and ubiquitous computing environments is presented in this paper. We introduce the general user model ...
PVLDB
2010
13 years 5 months ago
2010
Prediction is emerging as an essential ingredient for real-time monitoring, planning and decision support applications such as intrusion detection, e-commerce pricing and automate...
ENVSOFT
2007
13 years 7 months ago
2007
: Increasingly, models (and modelers) are being asked to address the interactions between human influences, ecological processes, and landscape dynamics that impact many diverse as...