1422 search results - page 53 / 285 » Test Generation Algorithms Based on Preorder Relations |
110
click to vote
MBEES
2008
14 years 11 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
DATE
1999
IEEE
15 years 2 months ago
1999
IEEE
In this paper, new and efficient BIST methodology and BIST hardware insertion algorithms are presented for RTL data paths obtained from high level synthesis. The methodology is ba...
ISMIS
2009
Springer
15 years 4 months ago
2009
Springer
Many clustering methods are based on flat descriptions, while data regarding real-world domains include heterogeneous objects related to each other in multiple ways. For instance,...
MICAI
2009
Springer
15 years 4 months ago
2009
Springer
Reinforcement Learning is a commonly used technique in robotics, however, traditional algorithms are unable to handle large amounts of data coming from the robot’s sensors, requi...
IROS
2008
IEEE
15 years 4 months ago
2008
IEEE
— Vehicle following can be achieved by minimizing the relative information (Kullback-Leibler or K-L distance), between the estimated poses of leader and follower vehicles by form...