Sciweavers

125 search results - page 4 / 25
» Comparative evaluation of robotic software integration syste...
Sort
View
ICRA
2002
IEEE
105views Robotics» more  ICRA 2002»
14 years 14 days ago
Learning Behavioral Parameterization using Spatio-Temporal Case-Based Reasoning
This paper presents an approach to learning an optimal behavioral parameterization in the framework of a Case-Based Reasoning methodology for autonomous navigation tasks. It is ba...
Maxim Likhachev, Michael Kaess, Ronald C. Arkin
RE
2005
Springer
14 years 1 months ago
Quality Analysis of NL Requirements: An Industrial Case Study
Nowadays common practice indicates that the Requirement Engineering (RE) process critically influences the success of the system development life cycle. Several commercial tools ...
Antonio Bucchiarone, Stefania Gnesi, P. Pierini
BMCBI
2006
147views more  BMCBI 2006»
13 years 7 months ago
A case study in pathway knowledgebase verification
Background: Biological databases and pathway knowledgebases are proliferating rapidly. We are developing software tools for computer-aided hypothesis design and evaluation, and we...
Stephen A. Racunas, Nigam Shah, Nina V. Fedoroff
CBSQ
2003
Springer
14 years 23 days 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
SIMUTOOLS
2008
13 years 9 months ago
Real-time emulation of networked robot systems
In this paper we present a methodology for the evaluation of networked systems communicating using WLAN technology. We show a case study of goal-oriented cooperating robots, for w...
Razvan Beuran, Junya Nakata, Takashi Okada, Yasuo ...