Sciweavers

3511 search results - page 159 / 703
» Evaluation Methods for Groupware Systems
Sort
View
CBSQ
2003
Springer
15 years 9 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
IFIP
1998
Springer
15 years 8 months ago
Guiding Agent Learning in Design
In this paper we discuss the need for learning in multi-agent design systems, and the variety of forms it might take. We propose a particular method of guiding learning in these s...
Dan L. Grecu, David C. Brown
IROS
2009
IEEE
172views Robotics» more  IROS 2009»
15 years 10 months ago
System interdependence analysis for autonomous mobile robots
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
Florian Rohrmüller, Georgios Lidoris, Dirk Wo...
94
Voted
ICRA
1999
IEEE
90views Robotics» more  ICRA 1999»
15 years 8 months ago
Development of Impulsive Object Sorting Device with Air Floating
A new object sorting device using impulsive manipulation and air floating will be developed. First, two methods for impulsive object sorting are evaluated using computer simulatio...
Shinichi Hirai, Masaaki Niwa, Sadao Kawamura
ICRA
2010
IEEE
95views Robotics» more  ICRA 2010»
15 years 2 months ago
Optimizing coordinate choice for locomoting systems
Abstract— Gait evaluation techniques that use Stokes’s theorem to integrate a system’s equations of motion have traditionally been limited to finding only the net rotations ...
Ross L. Hatton, Howie Choset