2632 search results - page 154 / 527 » Alternating Timed Automata |
134
click to vote
COLT
2010
Springer
15 years 2 months ago
2010
Springer
We consider an online learning setting where at each time step the decision maker has to choose how to distribute the future loss between k alternatives, and then observes the los...
155
click to vote
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...
128
click to vote
EUROPKI
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In this work we will show how non-qualified electronic signatures and time stamps can be efficiently enhanced in order to equip them with similar features as qualified ...
117
click to vote
ISCAS
2008
IEEE
15 years 11 months ago
2008
IEEE
— The non-monotonic behavior of power/ground noise with respect to the rise time tr is investigated for an inductive power distribution network with a decoupling capacitor. A tim...
108
click to vote
NIPS
2007
15 years 6 months ago
2007
Many perceptual processes and neural computations, such as speech recognition, motor control and learning, depend on the ability to measure and mark the passage of time. However, ...