4270 search results - page 225 / 854 » A Permutation Approach to Validation |
196
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
128
click to vote
IJCAI
2003
15 years 8 months ago
2003
This paper compares alternative approaches to pose estimation using visual cues from the environment. We examine approaches that derive pose estimates from global image properties...
165
click to vote
FLAIRS
2000
15 years 7 months ago
2000
Hierarchical conceptual clustering has been proven to be a useful data mining technique. Graph-based representation of structural information has been shown to be successful in kn...
171
click to vote
ICASSP
2010
IEEE
15 years 6 months ago
2010
IEEE
We develop an approach to intrinsic dimension estimation based on k-nearest neighbor (kNN) distances. The dimension estimator is derived using a general theory on functionals of k...
188
click to vote
IGPL
2007
15 years 6 months ago
2007
We discuss the question of inclusions between positive relational terms and some of its aspects, using the form of a dialogue. Two possible approaches to the problem are emphasize...