6715 search results - page 1132 / 1343 » Learning from a Test Set |
122
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
165
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
Users commonly rely just on scarce textual annotation when their searches for images are semantic or conceptual based. Rich visual information is often thrown away in basic annota...
181
click to vote
AVSS
2007
IEEE
15 years 11 months ago
2007
IEEE
A 3D visual hand gesture recognition method is proposed that detects correctly performed signs from stereo camera input. Hand tracking is based on skin detection with an adaptive ...
140
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces a new method based on k-Nearest Neighbors Graphs (KNNG) for bringing into alignment multiple views of the same scene acquired at two different time points. T...
156
click to vote
ISBI
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we propose a hybrid approach for the automatic three-dimensional segmentation of coronary arteries using multi-scale vessel filtering and a Bayesian probabilistic ...