1585 search results - page 76 / 317 » A framework for computer-aided validation |
112
click to vote
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Test case generation is an expensive, tedious, and errorprone process in software testing. In this paper, test case generation is accomplished using an Extended Finite State Machi...
IROS
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— Robots are emerging from industrial plants toward every people’s daily life. Thus, navigation in and understanding of human related environments becomes a prerequisit...
117
click to vote
ISCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Examining the validity or accuracy of proposed available bandwidth estimation tools remains a challenging problem. A common approach consists of evaluating a newly developed tool ...
AVSS
2005
IEEE
15 years 5 months ago
2005
IEEE
This work describes a data fusion technique to improve performances in objects localization and tracking for automatic video surveillance systems. The developed strategy is design...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
With the increasing complexity of information systems, it is becoming increasingly unclear as to how information system behaviors relate to stated requirements. Although requireme...