Sciweavers

5945 search results - page 841 / 1189
» A Model for Projection and Action
Sort
View
ICRA
2007
IEEE
162views Robotics» more  ICRA 2007»
16 years 1 months ago
Feedback linearization and simultaneous stiffness-position control of robots with antagonistic actuated joints
— In this paper, the dynamic model of a robot with antagonistic actuated joints is presented, and the problem of full linearization via static state feedback is analyzed. The use...
Gianluca Palli, Claudio Melchiorri, Thomas Wimb&ou...
IROS
2007
IEEE
193views Robotics» more  IROS 2007»
16 years 1 months ago
Temporal segmentation and recognition of body motion data based on inter-limb correlation analysis
— A method for segmentation and recognition of human body behavior data is proposed. Recognition of human body movements is getting larger interests in robotic research field, s...
Toru Nakata
MEMOCODE
2007
IEEE
16 years 1 months ago
Scheduling as Rule Composition
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
Nirav Dave, Arvind, Michael Pellauer
NCA
2007
IEEE
16 years 1 months ago
Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
Alysson Neves Bessani, Miguel Correia, Joni da Sil...
SP
2007
IEEE
110views Security Privacy» more  SP 2007»
16 years 1 months ago
A Systematic Approach to Uncover Security Flaws in GUI Logic
To achieve end-to-end security, traditional machine-to-machine security measures are insufficient if the integrity of the human-computer interface is compromised. GUI logic flaws ...
José Meseguer, Ralf Sasse, Helen J. Wang, Y...