665 search results - page 38 / 133 » The Theory of Hybrid Automata |
MST
2011
13 years 3 months ago
2011
: We define a weighted monadic second order logic for unranked trees and the concept of weighted unranked tree automata, and we investigate the expressive power of these two conce...
ISMB
1996
13 years 10 months ago
1996
A novel theory of subtractive hybridization including (or based on) the kinetic model of this process was proposed. A computer program modeling the process of subtraction wasdevel...
FASE
2010
Springer
14 years 9 hour ago
2010
Springer
Abstract. In this paper, we present an automata-theoretic approach to Hardware/Software (HW/SW) co-verification. We designed a co-specification framework describing HW/SW systems; ...
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
Context awareness and context modeling have raised their call for attention and importance quite recently in the world of contact centers for better customer services and relation...
ICASSP
2008
IEEE
14 years 3 months ago
2008
IEEE
Analysis and design of ltered-x adaptive algorithms are conventionally done by assuming that the transfer function in the secondary path is a discrete-time system. However, in rea...