2467 search results - page 126 / 494 » Finite State Machines |
173
click to vote
AUTOMATICA
1999
15 years 6 months ago
1999
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dy...
196
click to vote
FSTTCS
2010
Springer
15 years 4 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 ...
193
click to vote
WOA
2010
15 years 4 months ago
2010
Wireless Sensor Networks (WSNs) are currently emerging as one of the most disruptive technologies enabling and supporting next generation ubiquitous and pervasive computing scenari...
171
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
According to articulatory phonology, the gestural score is an invariant speech representation. Though the timing schemes, i.e., the onsets and offsets, of the gestural activations...
133
click to vote
COMBINATORICA
2010
15 years 3 months ago
2010
For finite sets of integers A1, A2 . . . An we study the cardinality of the n-fold sumset A1 +