Sciweavers

2555 search results - page 300 / 511
» Quantifiers and Working Memory
Sort
View
ICANN
2010
Springer
15 years 5 months ago
Using Reinforcement Learning to Guide the Development of Self-organised Feature Maps for Visual Orienting
We present a biologically inspired neural network model of visual orienting (using saccadic eye movements) in which targets are preferentially selected according to their reward va...
Kevin Brohan, Kevin N. Gurney, Piotr Dudek
GG
2010
Springer
15 years 4 months ago
A False History of True Concurrency: From Petri to Tools
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after ...
Javier Esparza
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 4 months ago
Gaussian Belief Propagation Based Multiuser Detection
In this work, we present a novel construction for solving the linear multiuser detection problem using the Gaussian Belief Propagation algorithm. Our algorithm yields an efficient,...
Danny Bickson, Danny Dolev, Ori Shental, Paul H. S...
CORR
2006
Springer
96views Education» more  CORR 2006»
15 years 4 months ago
Evocation and elaboration of solutions: Different types of problem-solving actions. An empirical study on the design of an aeros
An observational study was conducted on a professional designer working on a design project in aerospace industry. The protocol data were analyzed in order to gain insight into the...
Willemien Visser
CSDA
2006
85views more  CSDA 2006»
15 years 4 months ago
Fast and compact smoothing on large multidimensional grids
A framework of penalized generalized linear models and tensor products of B-splines with roughness penalties allows effective smoothing of data in multidimensional arrays. A strai...
Paul H. C. Eilers, Iain D. Currie, María Du...