1399 search results - page 81 / 280 » Verification of Test Suites |
131
click to vote
DATE
2000
IEEE
15 years 8 months ago
2000
IEEE
In current microprocessors and systems, an increasingly high silicon portion is derived through automatic synthesis, with designers working exclusively at the RT-level, and design...
145
click to vote
FSTTCS
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
119
click to vote
AAI
2007
15 years 4 months ago
2007
An versatile and modular Electrical Ground Support Equipment (EGSE) system has been developed using Artificial Intelligence (AI) techniques to control and test the PESCA instrumen...
141
click to vote
STACS
2000
Springer
15 years 8 months ago
2000
Springer
We investigate self-testing programs with relative error by allowing error terms proportional to the function to be computed. Until now, in numerical computation, error terms were ...
155
click to vote
SIBGRAPI
2000
IEEE
15 years 8 months ago
2000
IEEE
This work has as main objective to present an off-line signature verification system. It is basically divided into three parts. The first one demonstrates a pre-processing process,...