19003 search results - page 316 / 3801 » We Need Assurance |
180
click to vote
KI
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
146
click to vote
ICLP
1990
Springer
15 years 10 months ago
1990
Springer
Although Warren's method for the evaluation in Prolog of expressions with higherorder functions appears to have been neglected, it is of great value. Warren's paper need...
200
click to vote
CHI
2007
ACM
15 years 10 months ago
2007
ACM
There is a tremendous amount of web content available today, but it is not always in a form that supports end-users' needs. In many cases, all of the data and services needed...
211
click to vote
DAGM
2007
Springer
15 years 10 months ago
2007
Springer
Cascades of classifiers constitute an important architecture for fast object detection. While boosting of simple (weak) classifiers provides an established framework, the design of...
282
click to vote
GFKL
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we present an algorithm to identify types of places and objects from 2D and 3D laser range data obtained in indoor environments. Our approach is a combination of a c...