Sciweavers

1396 search results - page 236 / 280
» Succinct Dynamic Data Structures
Sort
View
IROS
2009
IEEE
152views Robotics» more  IROS 2009»
14 years 3 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...
WABI
2009
Springer
162views Bioinformatics» more  WABI 2009»
14 years 3 months ago
Aligning Biomolecular Networks Using Modular Graph Kernels
Comparative analysis of biomolecular networks constructed using measurements from different conditions, tissues, and organisms offer a powerful approach to understanding the stru...
Fadi Towfic, M. Heather West Greenlee, Vasant Hona...
EMSOFT
2009
Springer
14 years 3 months ago
NANDFS: a flexible flash file system for RAM-constrained systems
NANDFS is a flash file system that exposes a memory-performance tradeoff to system integrators. The file system can be configured to use a large amount of RAM, in which case i...
Aviad Zuck, Ohad Barzilay, Sivan Toledo
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
14 years 3 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
IROS
2008
IEEE
224views Robotics» more  IROS 2008»
14 years 2 months ago
Multimodal sensor fusion for attitude estimation of micromechanical flying insects: A geometric approach
— In this paper, we study sensor fusion for the attitude estimation of Micro Aerial Vehicles (MAVs), in particular mechanical flying insects. First, following a geometric approa...
Domenico Campolo, Luca Schenato, Lijuan Pi, Xinyan...