1363 search results - page 52 / 273 » On some Relations between Dynamical Systems and Transition S... |
202
click to vote
EWNLG
1993
15 years 10 months ago
1993
Abstract. An active research programme in Natural Language Generation has grown up around the notion of `coherence relations'. Relations are being used in a variety of roles i...
165
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
220
click to vote
EEF
2000
15 years 10 months ago
2000
Both the logic and the stochastic analysis of discrete-state systems are hindered by the combinatorial growth of the state space underlying a high-level model. In this work, we con...
181
click to vote
ECOOPW
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a validation experiment of a quantitative approach to the modularization of object oriented systems based on Cluster Analysis. A sample of some relatively larg...
234
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Energy consumption is a critical design issue in real-time systems, especially in battery- operated systems. Maintaining high performance, while extending the battery life between...