Sciweavers

4985 search results - page 536 / 997
» Observation of String-Rewriting Systems
Sort
View
IROS
2006
IEEE
143views Robotics» more  IROS 2006»
16 years 26 days ago
Design of 3D Swim Patterns for Autonomous Robotic Fish
: To realise fish-like swim patterns by a robotic system poses tremendous challenges. This requires fully understanding of fish biomechanics and the way to mimic it. This paper pre...
Huosheng Hu, Jindong Liu, Ian Dukes, George Franci...
IROS
2006
IEEE
128views Robotics» more  IROS 2006»
16 years 26 days ago
Haptic Rendering of Biological Elastic Properties based on Biomechanical Characterization
— This paper deals with the design of a micro-force sensing device for biomechanical characterization of biological samples. This device combines (SPM) techniques and advanced ro...
Mehdi Boukallel, Maxime Girot, Stephane Rég...
PDP
2006
IEEE
16 years 26 days ago
An Agent Based Framework for Urban Mobility Simulation
Mobility study is composed of many research areas which one interests us: urban mobility. In the literature, urban mobilities are represented by analytical techniques like stochas...
Nicolas Marilleau, Christophe Lang, Pascal Chatonn...
QSIC
2006
IEEE
16 years 26 days ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse
SEFM
2006
IEEE
16 years 26 days ago
On Bisimilarities Induced by Relations on Actions
In this paper, we give a straightforward generalization of bisimulations to "bisimulations induced by a pair of relations" on the underlying action set. We establish tha...
S. Arun-Kumar