14382 search results - page 418 / 2877 » Time in Connectionist Models |
186
click to vote
REX
1991
15 years 10 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
200
click to vote
AISB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The aim of this paper is to try to understand the structure of time in information technologies. Starting with historical arguments, it first shows that time is neither l...
209
click to vote
CRITICAL
2005
15 years 8 months ago
2005
This paper describes an ongoing design experience conducted in the Neonatal Intensive Care Unit for Premature Newborns. The specificity and the delicateness of such a setting prov...
178
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Two-player zero-sum games are a well-established model for synthesising controllers that optimise some performance criterion. In such games one player represents the cont...
176
Voted
MST
2006
15 years 6 months ago
2006
We consider packet networks and make use of the adversarial queuing theory" model 10 . We are interested in the question of guaranteeing that all packets are actually deliver...