Sciweavers

5683 search results - page 953 / 1137
» Interactive Schedulability Analysis
Sort
View
WCRE
2009
IEEE
15 years 11 months ago
NTrace: Function Boundary Tracing for Windows on IA-32
—For a long time, dynamic tracing has been an enabling technique for reverse engineering tools. Tracing can not only be used to record the control flow of a particular component...
Johannes Passing, Alexander Schmidt, Martin von L&...
IROS
2009
IEEE
152views Robotics» more  IROS 2009»
15 years 11 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...
IROS
2009
IEEE
162views Robotics» more  IROS 2009»
15 years 11 months ago
Novel mechanical design of biped robot SHERPA using 2 DOF cable differential modular joints
— This paper discusses the mechanical kinematics solutions and design aspects of the biped robot SHERPA, a bipedal platform able to walk and carry load. Starting from the analysi...
Ionut Mihai Constantin Olaru, Sébastien Kru...
AIED
2009
Springer
15 years 11 months ago
Are Your Students Working Creatively Together? Automatically Recognizing Creative Turns in Student e-Discussions
In this paper, we discuss how Artificial Intelligence (AI) techniques might be brought to bear in automatically recognizing “creative reasoning” in student e-discussions. An AI...
Bruce M. McLaren, Rupert Wegerif, Jan Miksatko, Ol...
CANS
2009
Springer
136views Cryptology» more  CANS 2009»
15 years 11 months ago
Verifying Anonymous Credential Systems in Applied Pi Calculus
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
Xiangxi Li, Yu Zhang, Yuxin Deng