Sciweavers

6941 search results - page 794 / 1389
» Testing as a Certification Approach
Sort
View
ICRA
2000
IEEE
89views Robotics» more  ICRA 2000»
15 years 11 months ago
A Robotic Stepper for Retraining Locomotion in Spinal-Injured Rodents
We describe the design and testing of a robotic system to assist locomotion training of spinal-injured rodents. The goal of the system is to control and quantify spatialtemporal p...
David J. Reinkensmeyer, Wojciech K. Timoszyk, Ray ...
IJCNN
2000
IEEE
15 years 11 months ago
Classification of Noisy Signals Using Fuzzy ARTMAP Neural Networks
—This paper describes an approach to classification of noisy signals using a technique based on the fuzzy ARTMAP neural network (FAMNN). The proposed method is a modification of ...
Dimitrios Charalampidis, Michael Georgiopoulos, Ta...
IV
2000
IEEE
99views Visualization» more  IV 2000»
15 years 11 months ago
DILEWA: The DIstributed Learning Environment Without Avatars
Nowadays multi-user VR systems are mostly aimed to social interaction, whereas exploitation of shared virtual environment for educational purposes has been mainly left aside. We i...
Michal Masa, Jiri Zara
IWSSD
2000
IEEE
15 years 11 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
MSS
2000
IEEE
96views Hardware» more  MSS 2000»
15 years 11 months ago
High Density Holographic Data Storage
The demand for increases in the capacity and speed of data storage tests the limits of conventional technologies and drives the search for new approaches. Optical holography has l...
Lisa Dhar, Kevin Curtis, Arturo Hale, Melinda Schn...