1246 search results - page 93 / 250 » Recursive Timed Automata |
125
click to vote
AHSWN
2010
15 years 29 days ago
2010
One way to prolong the lifetime of a wireless sensor network is to schedule the active times of sensor nodes, so that a node is active only when it is really needed. In the dynami...
100
click to vote
CC
2003
Springer
15 years 6 months ago
2003
Springer
We present a translation from the call-by-value λ-calculus to monadic normal forms that includes short-cut boolean evaluation. The translation is higher-order, operates in one pas...
77
Voted
ICPR
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper describes a new approach to the analysis of Poisson point processes, in time (1D) or space (2D), which is based on the minimum description length (MDL) framework. Speci...
FORMATS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend Angluin’s algorithm for on-line learning of regular languages to the setting of timed systems. We consider systems that can be described by a class of determi...
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...