Sciweavers

3053 search results - page 412 / 611
» Hybrid Systems Diagnosis
Sort
View
RTAS
2008
IEEE
16 years 29 days ago
Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
Jianliang Yi, Honguk Woo, James C. Browne, Aloysiu...
HPCC
2007
Springer
16 years 23 days ago
Parallel Genetic Algorithms for DVS Scheduling of Distributed Embedded Systems
Many of today’s embedded systems, such as wireless and portable devices rely heavily on the limited power supply. Therefore, energy efficiency becomes one of the major design con...
Man Lin, Chen Ding
IROS
2006
IEEE
233views Robotics» more  IROS 2006»
16 years 19 days ago
Machine-mediated Motor Skill Training Method in Haptic-enabled Chinese Handwriting Simulation System
Training of motor skill through machine-mediated method is a promising way to improve complex dexterous manipulation skill. New method of fusion between human motor skill and machi...
Dangxiao Wang, Yuru Zhang, Chong Yao
142
Voted
GRAPHITE
2003
ACM
15 years 12 months ago
A domain-independent system for sketch recognition
Freehand sketching is a natural and powerful means of interpersonal communication. But to date, it still cannot be supported effectively by human-computer interface. In this paper...
Bo Yu, Shijie Cai
ICIP
1999
IEEE
15 years 11 months ago
Wavelet-Domain Regularized Deconvolution for ILL-Conditioned Systems
by 0. In the discrete Fourier transform (DFT) domain, We propose a hybrid approach to wavelet-based image deconvolution that comprises Fourier-domain system inversion followed by w...
Ramesh Neelamani, Hyeokho Choi, Richard G. Baraniu...