Sciweavers

3229 search results - page 254 / 646
» The Theory of Timed Automata
Sort
View
FOCS
1998
IEEE
15 years 11 months ago
A Linguistic Characterization of Bounded Oracle Computation and Probabilistic Polynomial Time
We present a higher-order functional notation for polynomial-time computation with arbitrary 0; 1-valued oracle. This provides a linguistic characterization for classes such as np...
John C. Mitchell, Mark Mitchell, Andre Scedrov
CDC
2009
IEEE
186views Control Systems» more  CDC 2009»
15 years 10 months ago
Distributed function and time delay estimation using nonparametric techniques
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
Damiano Varagnolo, Gianluigi Pillonetto, Luca Sche...
170
Voted
CORR
2008
Springer
127views Education» more  CORR 2008»
15 years 6 months ago
On the long time behavior of the TCP window size process
The TCP window size process appears in the modeling of the famous Transmission Control Protocol used for data transmission over the Internet. This continuous time Markov process t...
Djalil Chafaï, Florent Malrieu, Katy Paroux
JCNS
2008
55views more  JCNS 2008»
15 years 6 months ago
From stimulus estimation to combination sensitivity: encoding and processing of amplitude and timing information in parallel, co
Information theoretical approaches to sensory processing in electric fish have focused on the encoding of amplitude modulations in a single sensory pathway in the South American gy...
Bruce A. Carlson, Masashi Kawasaki
TSMC
2008
94views more  TSMC 2008»
15 years 6 months ago
Queuing Network Modeling of a Real-Time Psychophysiological Index of Mental Workload - P300 in Event-Related Potential (ERP)
Modeling and predicting of mental workload are among the most important issues in studying human performance in complex systems. Ample research has shown that the amplitude of the ...
Changxu Wu, Yili Liu, C. M. Quinn-Walsh