2632 search results - page 97 / 527 » Alternating Timed Automata |
118
click to vote
ALGORITHMICA
2005
15 years 1 months ago
2005
The current standard for intra-domain network routing, Open Shortest Path First (OSPF), suffers from a number of problems--the tunable parameters (the weights) are hard to optimiz...
112
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: Short oligonucleotide arrays have several probes measuring the expression level of each target transcript. Therefore the selection of probes is a key component for the...
100
click to vote
FORMATS
2004
Springer
15 years 7 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...
100
click to vote
FOSSACS
2006
Springer
15 years 5 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...
142
click to vote
ICALP
2011
Springer
14 years 5 months ago
2011
Springer
Markov automata describe systems in terms of events which may be nondeterministic, may occur probabilistically, or may be subject to time delays. We define a novel notion of weak ...