Sciweavers

99 search results - page 15 / 20
» Properties of the Realization of Inner Functions
Sort
View
ICS
2010
Tsinghua U.
15 years 7 months ago
Proof-Carrying Data and Hearsay Arguments from Signature Cards
: Design of secure systems can often be expressed as ensuring that some property is maintained at every step of a distributed computation among mutually-untrusting parties. Special...
Alessandro Chiesa, Eran Tromer
AOSD
2009
ACM
15 years 1 days ago
Modular verification of dynamically adaptive systems
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...
Ji Zhang, Heather Goldsby, Betty H. C. Cheng
ICIP
2002
IEEE
15 years 11 months ago
Applications of multiwavelet techniques to image denoising
The developments in wavelet theory have given rise to the wavelet thresholding method, for extracting a signal from noisy data [1,2]. Multiwavelets, wavelets with several scaling ...
Aysin Ertüzün, Erdem Bala
66
Voted
IROS
2009
IEEE
152views Robotics» more  IROS 2009»
15 years 4 months ago
EMG-to-force estimation with full-scale physiology based muscle model
— EMG-to-force estimation for voluntary muscle contraction has many applications in human-machine interaction, motion analysis, and rehabilitation robotics for prosthetic limbs o...
Mitsuhiro Hayashibe, David Guiraud, Philippe Poign...
ICRA
2007
IEEE
160views Robotics» more  ICRA 2007»
15 years 3 months ago
Motion Tasks and Force Control for Robot Manipulators on Embedded 2-D Manifolds
— In this paper we present a methodology to drive the end effector of a robotic manipulator across the surface of an object in the workspace, and at the same time the manipulator...
Xanthi Papageorgiou, Savvas G. Loizou, Kostas J. K...