4930 search results - page 558 / 986 » Testing a Safety-Critical Application |
204
click to vote
JAIR
2006
15 years 7 months ago
2006
We present a novel framework for integrating prior knowledge into discriminative classifiers. Our framework allows discriminative classifiers such as Support Vector Machines (SVMs...
191
click to vote
JSAT
2008
15 years 7 months ago
2008
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
185
click to vote
JSCIC
2008
15 years 7 months ago
2008
Abstract Level set methods have been used in a great number of applications in R2 and R3 and it is natural to consider extending some of these methods to problems defined on surfac...
200
click to vote
JSS
2008
15 years 7 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...
177
click to vote
KBS
2008
15 years 7 months ago
2008
Image registration is the process of geometrically aligning images taken from different sensors, viewpoints or instances in time. It plays a key role in the detection of defects o...