Sciweavers

14642 search results - page 258 / 2929
» It's Time for a Change
Sort
View
MM
1996
ACM
150views Multimedia» more  MM 1996»
15 years 11 months ago
Adaptive Rate-Controlled Scheduling for Multimedia Applications
We present a framework for integrated scheduling of continuous media (CM) and other applications. The framework, called ARC scheduling, consists of a rate-controlled on-line CPU sc...
David K. Y. Yau, Simon S. Lam
AMAST
2004
Springer
15 years 10 months ago
Linear Temporal Logic and Z Refinement
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
John Derrick, Graeme Smith
EUROMICRO
2006
IEEE
15 years 10 months ago
Building Reconfigurable Component-Based OS with THINK
Dynamic reconfiguration allows modifying a system during its execution, and can be used to apply patches and updates, to implement adaptive systems, dynamic instrumentation, or to...
Juraj Polakovic, Ali Erdem Özcan, Jean-Bernar...
ITS
2000
Springer
94views Multimedia» more  ITS 2000»
15 years 10 months ago
DT Tutor: A Decision-Theoretic, Dynamic Approach for Optimal Selection of Tutorial Actions
DT Tutor uses a decision-theoretic approach to select tutorial actions for coached problem solving that are optimal given the tutor's beliefs and objectives. It employs a mode...
R. Charles Murray, Kurt VanLehn
CIMAGING
2010
202views Hardware» more  CIMAGING 2010»
15 years 8 months ago
An optimal algorithm for reconstructing images from binary measurements
We have studied a camera with a very large number of binary pixels referred to as the gigavision camera [1] or the gigapixel digital film camera [2, 3]. Potential advantages of th...
Feng Yang, Yue M. Lu, Luciano Sbaiz, Martin Vetter...