Sciweavers

1143 search results - page 152 / 229
» Mental models of recursion
Sort
View
IWFM
1998
15 years 2 months ago
Motivation for a New Semantics for Vagueness
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...
Mark Changizi
91
Voted
AAAI
1996
15 years 1 months ago
Learning to Take Actions
We formalize a model for supervised learning of action strategies in dynamic stochastic domains and show that PAC-learning results on Occam algorithms hold in this model as well. W...
Roni Khardon
82
Voted
ENTCS
2008
89views more  ENTCS 2008»
15 years 21 days ago
On the Relationship between Filter Spaces and Weak Limit Spaces
: Countably based filter spaces have been suggested in the 1970's as a model for recursion theory on higher types. Weak limit spaces with a countable base are known to be the ...
Matthias Schröder
TMI
2008
127views more  TMI 2008»
15 years 16 days ago
Restoration of DWI Data Using a Rician LMMSE Estimator
Abstract--This paper introduces and analyzes a linear minimum mean square error (LMMSE) estimator using a Rician noise model and its recursive version (RLMMSE) for the restoration ...
Santiago Aja-Fernández, Marc Niethammer, Ma...
105
Voted
AML
2002
69views more  AML 2002»
15 years 15 days ago
Transfer principles in nonstandard intuitionistic arithmetic
Using a slight generalization, due to Palmgren, of sheaf semantics, we present a term-model construction that assigns a model to any first-order intuitionistic theory. A modificat...
J. Avigad, Jeremy Helzner