Sciweavers

9521 search results - page 1447 / 1905
» Compiling with continuations, continued
Sort
View
JAR
2008
107views more  JAR 2008»
15 years 6 months ago
Differential Dynamic Logic for Hybrid Systems
Hybrid systems are models for complex physical systems and are defined as dynamical systems with interacting discrete transitions and continuous evolutions along differential equat...
André Platzer
IJON
2006
71views more  IJON 2006»
15 years 6 months ago
A neurocomputational model of stochastic resonance and aging
Stochastic resonance (SR) is fundamental to physical and biological processes. Here, we use a stochastic gain-tuning model to investigate interactions between aging-related increa...
Shu-Chen Li, Timo von Oertzen, Ulman Lindenberger
197
Voted
CORR
2007
Springer
105views Education» more  CORR 2007»
15 years 6 months ago
The source coding game with a cheating switcher
Motivated by the lossy compression of an active-vision video stream, we consider the problem of finding the rate-distortion function of an arbitrarily varying source (AVS) compos...
Hari Palaiyanur, Cheng Chang, Anant Sahai
157
Voted
CORR
2007
Springer
107views Education» more  CORR 2007»
15 years 6 months ago
Asynchronous Distributed Searchlight Scheduling
Abstract— This paper develops and compares two asynchronous distributed scheduling algorithms for multiple controlled searchlights in nonconvex polygonal environments. A searchli...
Karl J. Obermeyer, Anurag Ganguli, Francesco Bullo
CORR
2007
Springer
160views Education» more  CORR 2007»
15 years 6 months ago
On the Correlation of Geographic and Network Proximity at Internet Edges and its Implications for Mobile Unicast and Multicast R
Signicant eort has been invested recently to accelerate handover operations in a next generation mobile Internet. Corresponding works for developing ecient mobile multicast man...
Thomas C. Schmidt, Matthias Wählisch, Ying Zh...
« Prev « First page 1447 / 1905 Last » Next »