1036 search results - page 125 / 208 » Utilizing Validation Experience for System Validation |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— In implementing a vision localization system, a crucial issue to consider is how to efficiently store and recall the necessary information so that the robot is not only able t...
TASE
2008
IEEE
14 years 2 months ago
2008
IEEE
Verification techniques like SAT-based bounded model checking have been successfully applied to a variety of system models. Applying bounded model checking to compositional proce...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
— The UML is a collection of 13 diagram notations to describe different views of a software system. The existing diagram types display model elements and their relations. Softwar...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
In this paper, we propose a semantic routing and filtering framework for large-scale monitoring of video streams. Our goal is to build a distributed system that at any given time ...
SAC
2004
ACM
14 years 1 months ago
2004
ACM
Developing an efficient object localization system for complicated industrial objects is an important, yet difficult robotic task. To tackle this problem, we have developed a syst...