Sciweavers

1847 search results - page 205 / 370
» Hybrid Functional Interpretations
Sort
View
ICCV
2007
IEEE
16 years 8 months ago
Enabling Users to Guide the Design of Robust Model Fitting Algorithms
Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge in model fitting is...
Matthias Wimmer, Freek Stulp, Bernd Radig
ICML
2005
IEEE
16 years 7 months ago
Unifying the error-correcting and output-code AdaBoost within the margin framework
In this paper, we present a new interpretation of AdaBoost.ECC and AdaBoost.OC. We show that AdaBoost.ECC performs stage-wise functional gradient descent on a cost function, defin...
Yijun Sun, Sinisa Todorovic, Jian Li, Dapeng Wu
250
Voted
POPL
2009
ACM
16 years 7 months ago
Automatic modular abstractions for linear constraints
c Modular Abstractions for Linear Constraints David Monniaux VERIMAG June 27, 2008 se a method for automatically generating abstract transformers for static by abstract interpreta...
David Monniaux
ICLP
2009
Springer
16 years 7 months ago
Using Histograms to Better Answer Queries to Probabilistic Logic Programs
Probabilistic logic programs (PLPs) define a set of probability distribution functions (PDFs) over the set of all Herbrand interpretations of the underlying logical language. When...
Matthias Broecheler, Gerardo I. Simari, V. S. Subr...
ICFP
2002
ACM
16 years 6 months ago
Typing dynamic typing
Even when programming in a statically typed language we every now and then encounter statically untypable values; such values result from interpreting values or from communicating...
Arthur I. Baars, S. Doaitse Swierstra