Sciweavers

17054 search results - page 280 / 3411
» Logics of Dynamical Systems
Sort
View
ICCV
2009
IEEE
17 years 7 days ago
Time Series Prediction by Chaotic Modeling of Nonlinear Dynamical Systems
We use concepts from chaos theory in order to model nonlinear dynamical systems that exhibit deterministic behavior. Observed time series from such a system can be embedded into...
Arslan Basharat, Mubarak Shah
APGV
2010
ACM
232views Visualization» more  APGV 2010»
15 years 11 months ago
A reassessment of the simultaneous dynamic range of the human visual system
The dynamic range of the human visual system should be an important parameter in the design of high dynamic range (HDR) display devices. A good display should at least approximate...
Timo Kunkel, Erik Reinhard
DAC
2005
ACM
16 years 8 months ago
Dynamic slack reclamation with procrastination scheduling in real-time embedded systems
Leakage energy consumption is an increasing concern in current and future CMOS technologygenerations. Procrastination scheduling, where task execution can be delayed to maximize t...
Ravindra Jejurikar, Rajesh K. Gupta
TON
2002
102views more  TON 2002»
15 years 6 months ago
A min, + system theory for constrained traffic regulation and dynamic service guarantees
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boud...
CADE
2009
Springer
16 years 7 months ago
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability for propositional dynamic logic. Our main contribution is a sound meth...
Florian Widmann, Rajeev Goré