4930 search results - page 311 / 986 » Testing a Safety-Critical Application |
241
click to vote
FOCS
1992
IEEE
15 years 10 months ago
1992
IEEE
We announce methods for e cient management of solvable matrix groups over nite elds. We show that solvability and nilpotence can be tested in polynomial-time. Such e ciency seems ...
174
click to vote
AFRIGRAPH
2001
ACM
15 years 10 months ago
2001
ACM
We present independent method to reduce the number of shadow ray tests. It can be used with standard acceleration ray tracing algorithms. Our method is conservative and produces t...
150
click to vote
LREC
2008
15 years 8 months ago
2008
We propose in this paper an automatic evaluation procedure based on a metric which could provide summary evaluation without human assistance. Our system includes two metrics, whic...
182
click to vote
IJCAI
2007
15 years 8 months ago
2007
The martingale framework for detecting changes in data stream, currently only applicable to labeled data, is extended here to unlabeled data using clustering concept. The one-pass...
195
click to vote
FLAIRS
2000
15 years 8 months ago
2000
This paper discusses the empirical evaluation of improving generalization performance of neural networks by systematic treatment of training and test failures. As a result of syst...