Sciweavers

132 search results - page 21 / 27
» Supervisory control and real-time constraints
Sort
View
ICIP
2003
IEEE
14 years 9 months ago
Rate control for JVT video coding scheme with HRD considerations
The recent JVT video coding scheme (MPEG-4 AVC/H.264) is a promising technique due to its high coding efficiency. Hypothetical Reference Decoder (HRD) is a very important part in ...
Siwei Ma, Wen Gao, Feng Wu, Yan Lu
ICALP
1997
Springer
13 years 11 months ago
Discrete-Time Control for Rectangular Hybrid Automata
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
Thomas A. Henzinger, Peter W. Kopke
PCM
2010
Springer
160views Multimedia» more  PCM 2010»
13 years 5 months ago
A Multi-pass VBR Rate Control Method for Video Plus Depth Based Mobile 3D Video Coding
Abstract. Video plus depth based 3D video gradually goes mobile. Taking into account the time-varying characteristics of wireless communication, this paper proposes a multi-pass va...
Yanwei Liu, Guangchao Peng, Yahui Hu, Song Ci, Hui...
HICSS
2009
IEEE
112views Biometrics» more  HICSS 2009»
14 years 2 months ago
Optimal Pumping Schedule and Salinity Control in a Coastal Aquifer: a Decision Support System
Proper management of coastal wells is important in order to satisfy demand, minimize costs, control salinity increase, and ultimately to define water resource strategies which are...
T. Ka'eo Duarte, Riccardo Minciardi, Michela Robba...
RTCSA
2008
IEEE
14 years 1 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...