3994 search results - page 702 / 799 » A Linear Logical Framework |
171
click to vote
COLT
2000
Springer
15 years 8 months ago
2000
Springer
In the present paper, we present the theoretical basis, as well as an empirical validation, of a protocol designed to obtain effective VC dimension estimations in the case of a si...
154
click to vote
CVPR
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper addresses the derivation of likelihood functions and confidence bounds for problems involving overdetermined linear systems with noise in all measurements, often referr...
133
click to vote
PEPM
2000
ACM
15 years 8 months ago
2000
ACM
Many program optimisations and analyses, such as arraybound checking, termination analysis, etc, dependon knowing the size of a function's input and output. However, size inf...
133
click to vote
ICPR
2010
IEEE
15 years 6 months ago
2010
IEEE
Training datasets for object detection problems are typically very large and Support Vector Machine (SVM) implementations are computationally complex. As opposed to these complex ...
133
click to vote
SGP
2007
15 years 6 months ago
2007
Reconstruction of surfaces from huge collections of scanned points often requires out-of-core techniques, and most such techniques involve local computations that are not resilien...