899 search results - page 61 / 180 » A Temporal Language for SystemC |
AAAI
2000
14 years 11 months ago
2000
In recent years, there have been several proposals that extend the expressive power of Bayesian networks with that of relational models. These languages open the possibility for t...
FDL
2006
IEEE
15 years 1 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...
JMLR
2012
13 years 7 days ago
2012
In many settings, data is collected as multiple time series, where each recorded time series is an observation of some underlying dynamical process of interest. These observations...
CSL
1999
Springer
15 years 2 months ago
1999
Springer
Hybrid languages are extended modal languages which can refer to (or even quantify over) states. Such languages are better behaved proof theoretically than ordinary modal languages...
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
Alternating timed automata on infinite words are considered. The main result is a characterization of acceptance conditions for which the emptiness problem for the automata is deci...