Sciweavers

11172 search results - page 272 / 2235
» Testing Physical Systems
Sort
View
STAIRS
2008
131views Education» more  STAIRS 2008»
15 years 8 months ago
Multi-Agent Collaboration: A Satellite Constellation Case
Abstract. Physical agents such as robots are generally constrained in their communication capabilities. In a multi-agent system composed of physical agents, these constraints have ...
Grégory Bonnet, Catherine Tessier
AAAI
2000
15 years 8 months ago
Anchoring Symbols to Sensor Data: Preliminary Report
Anchoring is the process of creating and maintaining the correspondence between symbols and percepts that refer to the same physical objects. Although this process must necessaril...
Silvia Coradeschi, Alessandro Saffiotti
ICSM
1999
IEEE
15 years 11 months ago
Test Case Prioritization: An Empirical Study
Test case prioritization techniques schedule test cases for execution in an order that attempts to maximize some objective function. A variety of objective functions are applicabl...
Gregg Rothermel, Roland H. Untch, Chengyun Chu, Ma...
FM
2009
Springer
189views Formal Methods» more  FM 2009»
15 years 4 months ago
Model-Based GUI Testing Using Uppaal at Novo Nordisk
Abstract. This paper details a collaboration between Aalborg University and NOVO Nordisk in developing an automatic model-based test generation tool for system testing of the graph...
Ulrik H. Hjort, Jacob Illum Rasmussen, Kim Guldstr...
CLEAR
2007
Springer
147views Biometrics» more  CLEAR 2007»
16 years 24 days ago
ISL Person Identification Systems in the CLEAR 2007 Evaluations
In this paper, we present ISL person identification systems in the CLEAR 2007 evaluations. The identification systems consist of a face recognition system, a speaker identification...
Hazim Kemal Ekenel, Qin Jin, Mika Fischer, Rainer ...