Sciweavers

1215 search results - page 43 / 243
» A theory of Error-Rate Testing
Sort
View
FMCO
2006
Springer
128views Formal Methods» more  FMCO 2006»
14 years 21 days ago
Model-Based Test Selection for Infinite-State Reactive Systems
This paper addresses the problem of off-line selection of test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of re...
Bertrand Jeannet, Thierry Jéron, Vlad Rusu
ICLP
1995
Springer
14 years 18 days ago
Experimenting with Nonmonotonic Reasoning
In this paper, we describe a system, called TheoryBase, whose goal is to facilitate experimental studies of nonmonotonic reasoning systems. TheoryBase generates test default theor...
Pawel Cholewinski, V. Wiktor Marek, Artur Mikitiuk...
CVPR
2005
IEEE
14 years 11 months ago
Diagram Structure Recognition by Bayesian Conditional Random Fields
Hand-drawn diagrams present a complex recognition problem. Elements of the diagram are often individually ambiguous, and require context to be interpreted. We present a recognitio...
Yuan (Alan) Qi, Martin Szummer, Thomas P. Minka
CVPR
2005
IEEE
14 years 11 months ago
Overview of the Face Recognition Grand Challenge
Over the last couple of years, face recognition researchers have been developing new techniques. These developments are being fueled by advances in computer vision techniques, com...
P. Jonathon Phillips, Patrick J. Flynn, W. Todd Sc...
ICCV
2003
IEEE
14 years 11 months ago
Learning a Locality Preserving Subspace for Visual Recognition
Previous works have demonstrated that the face recognition performance can be improved significantly in low dimensional linear subspaces. Conventionally, principal component analy...
Xiaofei He, Shuicheng Yan, Yuxiao Hu, HongJiang Zh...