Sciweavers

2490 search results - page 47 / 498
» The Generalized Theory of Model Preference
Sort
View
TCS
2010
15 years 2 months ago
Comparing free algebras in Topological and Classical Domain Theory
We compare how computational effects are modelled in Classical Domain Theory and Topological Domain Theory. Both of these theories provide powerful toolkits for denotational sema...
Ingo Battenfeld
SAC
2010
ACM
15 years 10 months ago
Reachability analysis of GSPDIs: theory, optimization, and implementation
Analysis of systems containing both discrete and continuous dynamics, hybrid systems, is a difficult issue. Most problems have been shown to be undecidable in general, and decidab...
Hallstein Asheim Hansen, Gerardo Schneider
CVPR
1997
IEEE
15 years 8 months ago
Learning Generic Prior Models for Visual Computation
This paper presents a novel theory for learning generic prior models from a set of observed natural images based on a minimax entropy theory that the authors studied in modeling t...
Song Chun Zhu, David Mumford
JSYML
2000
103views more  JSYML 2000»
15 years 3 months ago
A Model Complete Theory of Valued D-Fields
The notion of a D-ring, generalizing that of a differential or a difference ring, is introduced. Quantifier elimination and a version of the AxKochen-Ershov principle is proven for...
Thomas Scanlon
NIPS
2003
15 years 5 months ago
Model Uncertainty in Classical Conditioning
We develop a framework based on Bayesian model averaging to explain how animals cope with uncertainty about contingencies in classical conditioning experiments. Traditional accoun...
Aaron C. Courville, Nathaniel D. Daw, Geoffrey J. ...