Sciweavers

911 search results - page 85 / 183
» First Steps with a Rideable Computer
Sort
View
CDC
2010
IEEE
129views Control Systems» more  CDC 2010»
13 years 3 months ago
A symbolic approach to controlling piecewise affine systems
Abstract-- We present a computational framework for automatic synthesis of a feedback control strategy for a piecewise affine (PWA) system from a specification given as a Linear Te...
Jana Tumova, Boyan Yordanov, Calin Belta, Ivana Ce...
DASIP
2010
13 years 2 months ago
RVC: A multi-decoder CAL Composer tool
The Reconfigurable Video Coding (RVC) framework is a recent ISO standard aiming at providing a unified specification of MPEG video technology in the form of a library of component...
Francesca Palumbo, Danilo Pani, Emanuele Manca, Lu...
JCIT
2010
176views more  JCIT 2010»
13 years 2 months ago
Enhanced Block Motion Estimation Based on Threshold-Aware Two-Path Search Method
For stationary or quasi-stationary frames of a video sequence, traditional block matching algorithms (BMA) will easily lead the search to be trapped into a local minimum. In this ...
Wei-Chih Hsu, Tsan-Ying Yu, Jan-Lie Guo
JDCTA
2010
148views more  JDCTA 2010»
13 years 2 months ago
Web Services Supervision System Based on Jade
Web service technology is one of the trend technologies in computer science now, and recently with the rapid growth of web services deployed with the same functionality, many rese...
Ahmed Sallam, Zhiyong Li, Shaimaa Hassan
JDCTA
2010
226views more  JDCTA 2010»
13 years 2 months ago
An Automatic-Pre-processing Method For Mammographic Images
Screening mammography represents the technique adopted to detect breast cancer at an early stage. However the presence of artifacts and pectoral muscle can disturb the detection o...
Ali Cherif Chaabani, Atef Boujelben, Adel Mahfoudh...