7827 search results - page 153 / 1566 » time 2007 |
163
click to vote
ISOLA
2007
Springer
16 years 1 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
144
click to vote
NIPS
2001
15 years 7 months ago
2001
In nature, animals encounter high dimensional sensory stimuli that have complex statistical and dynamical structure. Attempts to study the neural coding of these natural signals f...
179
click to vote
ALGORITHMICA
2002
15 years 5 months ago
2002
We consider the total weighted completion time scheduling problem for parallel identical machines and precedence constraints, P jprecj PwiCi. This important and broad class of pro...
167
click to vote
MANSCI
2007
15 years 5 months ago
2007
We develop a formal model of the timing of resource development by competing …rms. Our aim is to deepen and extend resource-level theorizing about sustainable competitive advant...
176
click to vote
NIPS
2004
15 years 7 months ago
2004
Multiple realizations of continuous-valued time series from a stochastic process often contain systematic variations in rate and amplitude. To leverage the information contained i...