Sciweavers

2562 search results - page 170 / 513
» The Use of B2B Process Standards: A Case Study
Sort
View
ECBS
2009
IEEE
113views Hardware» more  ECBS 2009»
15 years 5 months ago
Modeling and Analysis of Probabilistic Timed Systems
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
Abhishek Dubey, Derek Riley, Sherif Abdelwahed, Te...
ICIP
2005
IEEE
15 years 12 months ago
Universal image coding using multiscale recurrent patterns and prediction
In this paper we present a new method for image coding that is able to achieve good results over a wide range of image types. This work is based on the Multidimensional Multiscale...
Eduardo A. B. da Silva, Murilo B. de Carvalho, Nun...
87
Voted
CDC
2008
IEEE
143views Control Systems» more  CDC 2008»
15 years 4 months ago
On the use of numerical methods for analysis and control of nonlinear convective systems
Abstract— A common approach to designing feedback controllers for nonlinear partial differential equations (PDEs) is to linearize the system about an equilibrium and use the line...
Edward Allen, John A. Burns, David S. Gilliam
DATE
2010
IEEE
174views Hardware» more  DATE 2010»
14 years 8 months ago
An HVS-based Adaptive Computational Complexity Reduction Scheme for H.264/AVC video encoder using Prognostic Early Mode Exclusio
The H.264/AVC video encoder standard significantly improves the compression efficiency by using variable block-sized Inter (P) and Intra (I) Macroblock (MB) coding modes. In this p...
Muhammad Shafique, Bastian Molkenthin, Jörg H...
CODES
2008
IEEE
15 years 4 months ago
System-level mitigation of WID leakage power variability using body-bias islands
Adaptive Body Biasing (ABB) is a popularly used technique to mitigate the increasing impact of manufacturing process variations on leakage power dissipation. The efficacy of the ...
Siddharth Garg, Diana Marculescu