Sciweavers

1954 search results - page 303 / 391
» Modelling Coordination in Biological Systems
Sort
View
ICRA
2003
IEEE
166views Robotics» more  ICRA 2003»
15 years 3 months ago
A service-based network architecture for wearable robots
We are developing a network architecture for our novel robot concept of wearable robot. Wearable robots are mobile information devices capable of supporting remote communication a...
Ka Keung Lee, Ping Zhang, Yangsheng Xu
ICML
1998
IEEE
15 years 10 months ago
Heading in the Right Direction
Stochastic topological models, and hidden Markov models in particular, are a useful tool for robotic navigation and planning. In previous work we have shown how weak odometric dat...
Hagit Shatkay, Leslie Pack Kaelbling
ISBI
2002
IEEE
15 years 10 months ago
Deformable m-rep segmentation of object complexes
While we have previously reported on multiscale segmentation of single-figure anatomic objects from medical images by deformable m-rep models, here we report on a method of segmen...
P. Thomas Fletcher, Stephen M. Pizer, A. Graham Ga...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
15 years 3 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
ACL
2003
14 years 11 months ago
An Intelligent Procedure Assistant Built Using REGULUS 2 and ALTERF
We will demonstrate the latest version of an ongoing project to create an intelligent procedure assistant for use by astronauts on the International Space Station (ISS). The syste...
Manny Rayner, Beth Ann Hockey, James Hieronymus, J...