Sciweavers

2136 search results - page 213 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
144
Voted
ESANN
2001
15 years 5 months ago
A divide-and-conquer learning architecture for predicting unknown motion
Time varying environments or model selection problems lead to crucial dilemmas in identification and control science. In this paper, we propose a modular prediction scheme consisti...
Patrice Wira, Jean-Philippe Urban, Julien Gresser
130
Voted
ICST
2008
IEEE
15 years 10 months ago
Verifying and Analyzing Adaptive Logic through UML State Models
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
Andres J. Ramirez, Betty H. C. Cheng
134
Voted
CONNECTION
2008
178views more  CONNECTION 2008»
15 years 3 months ago
Spoken language interaction with model uncertainty: an adaptive human-robot interaction system
Spoken language is one of the most intuitive forms of interaction between humans and agents. Unfortunately, agents that interact with people using natural language often experienc...
Finale Doshi, Nicholas Roy
116
Voted
LMCS
2007
132views more  LMCS 2007»
15 years 3 months ago
The Complexity of Model Checking Higher-Order Fixpoint Logic
Higher-Order Fixpoint Logic (HFL) is a hybrid of the simply typed λ-calculus and the modal µ-calculus. This makes it a highly expressive temporal logic that is capable of express...
Roland Axelsson, Martin Lange, Rafal Somla
125
Voted
DATE
2005
IEEE
144views Hardware» more  DATE 2005»
15 years 9 months ago
Context Sensitive Performance Analysis of Automotive Applications
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
Jan Staschulat, Rolf Ernst, Andreas Schulze, Fabia...