Sciweavers

2136 search results - page 4 / 428
» Learning Behavior Models for Hybrid Timed Systems
Sort
View
HYBRID
2003
Springer
14 years 1 months ago
On the Causality of Mixed-Signal and Hybrid Models
This paper extends the application of the Cantor metric as a mathematical tool for defining causalities from pure discrete models to mixed-signal and hybrid models. Using the Cant...
Jie Liu, Edward A. Lee
REX
1991
14 years 1 days ago
From Timed to Hybrid Systems
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
Oded Maler, Zohar Manna, Amir Pnueli
MACE
2009
Springer
230views Communications» more  MACE 2009»
14 years 3 months ago
Combining Learned and Highly-Reactive Management
Learned models of behavior have the disadvantage that they must be retrained after any change in system configuration. Autonomic management methods based upon learned models lose ...
Alva L. Couch, Marc Chiarini
GLOBECOM
2006
IEEE
14 years 2 months ago
Analytical Investigation with Markov Models of Selective Repeat Type II Hybrid ARQ
— This paper presents an analytical model for the analysis of Hybrid ARQ techniques on Discrete Time Markov Channels by means of Markov chains. The first contribution is an orig...
Leonardo Badia, Marco Levorato, Michele Zorzi
HICSS
2003
IEEE
116views Biometrics» more  HICSS 2003»
14 years 1 months ago
Modeling Instrumental Conditioning - The Behavioral Regulation Approach
Basically, instrumental conditioning is learning through consequences: Behavior that produces positive results (high “instrumental response”) is reinforced, and that which pro...
Jose J. Gonzalez, Agata Sawicka