Sciweavers

901 search results - page 80 / 181
» Analyzing linear mergers
Sort
View
NECO
2008
111views more  NECO 2008»
14 years 11 months ago
A Neural Network Model of the Eriksen Task: Reduction, Analysis, and Data Fitting
We analyze a neural network model of the Eriksen task, a twoalternative forced choice task in which subjects must correctly identify a central stimulus and disregard flankers that...
Yuan Sophie Liu, Philip Holmes, Jonathan D. Cohen
JAIR
2000
100views more  JAIR 2000»
14 years 11 months ago
On the Compilability and Expressive Power of Propositional Planning Formalisms
The recent approaches of extending the GRAPHPLAN algorithm to handle more expressive planning formalisms raise the question of what the formal meaning of "expressive power&qu...
Bernhard Nebel
QEST
2010
IEEE
14 years 9 months ago
Reasoning about MDPs as Transformers of Probability Distributions
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul A...
CORR
2011
Springer
172views Education» more  CORR 2011»
14 years 6 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
ICCV
2011
IEEE
13 years 11 months ago
Handling Outliers in Non-Blind Image Deconvolution
Non-blind deconvolution is a key component in image deblurring systems. Previous deconvolution methods assume a linear blur model where the blurred image is generated by a linear ...
Sunghyun Cho, Jue Wang, Seungyong Lee