2432 search results - page 87 / 487 » High-level approach to modeling of observed system behavior |
178
click to vote
CONCUR
2008
Springer
15 years 8 months ago
2008
Springer
We present a framework that combines ideas from spatial logics and Igarashi and Kobayashi's behavioural type systems, drawing benefits from both. In our approach, type systems...
173
click to vote
UAI
2004
15 years 7 months ago
2004
Modeling dynamical systems, both for control purposes and to make predictions about their behavior, is ubiquitous in science and engineering. Predictive state representations (PSR...
185
click to vote
IAJIT
2010
15 years 4 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
209
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
Recent popularization of personal hand-held mobile devices makes it important to characterize the mobility pattern of mobile device users, so as to accurately predict user mobilit...
176
click to vote
FLAIRS
2004
15 years 7 months ago
2004
As the complexity of industrial processes increases, it requires the use of intelligent sensors or actuators (known as Intelligent Instruments) to allow for more comprehensive and...