Sciweavers

6941 search results - page 1107 / 1389
» Testing as a Certification Approach
Sort
View
ICRA
1999
IEEE
119views Robotics» more  ICRA 1999»
15 years 9 months ago
Programming in the Architecture for Agile Assembly
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
Jay Gowdy, Alfred A. Rizzi
DAGM
1999
Springer
15 years 9 months ago
Collaborative Multi-Robot Localization
This paper presents a statistical algorithm for collaborative mobile robot localization. Our approach uses a sample-based version of Markov localization, capable of localizing mob...
Dieter Fox, Wolfram Burgard, Hannes Kruppa, Sebast...
LCN
1999
IEEE
15 years 9 months ago
Time Series Models for Internet Data Traffic
A statistical analysis of Internet traffic measurements from a campus site is carried out to examine the influence of the constituent protocols and applications on the characteris...
Chun You, Kavitha Chandra
117
Voted
DEXAW
1998
IEEE
96views Database» more  DEXAW 1998»
15 years 9 months ago
Verification of Multiple Agent Knowledge-Based Systems
Thepurposeof this paperis to extendverificationtests to systemswith multiple autonomousagent knowledge bases.Usinga classic approachto verification, this paperfocuseson tests conc...
Daniel E. O'Leary
IDA
1999
Springer
15 years 9 months ago
Reasoning about Input-Output Modeling of Dynamical Systems
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
Matthew Easley, Elizabeth Bradley
« Prev « First page 1107 / 1389 Last » Next »