Sciweavers

99 search results - page 15 / 20
» Properties of the Realization of Inner Functions
Sort
View
ICS
2010
Tsinghua U.
14 years 4 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
13 years 10 months 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
14 years 9 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
IROS
2009
IEEE
152views Robotics» more  IROS 2009»
14 years 2 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»
14 years 1 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...