Sciweavers

2639 search results - page 142 / 528
» Biological Systems as Reactive Systems
Sort
View
MICAI
2004
Springer
15 years 10 months ago
A Biologically Motivated and Computationally Efficient Natural Language Processor
Abstract. Conventional artificial neural network models lack many physiological properties of the neuron. Current learning algorithms are more concerned to computational performanc...
João Luís Garcia Rosa
PAMI
2007
138views more  PAMI 2007»
15 years 4 months ago
A Fast Biologically Inspired Algorithm for Recurrent Motion Estimation
—We have previously developed a neurodynamical model of motion segregation in cortical visual area V1 and MT of the dorsal stream. The model explains how motion ambiguities cause...
Pierre Bayerl, Heiko Neumann
ATVA
2005
Springer
130views Hardware» more  ATVA 2005»
15 years 10 months ago
Approximate Reachability for Dead Code Elimination in Esterel
Esterel is an imperative synchronous programming language for the design of reactive systems. Esterel extends Esterel with a noninstantaneous jump instruction (compatible with conc...
Olivier Tardieu, Stephen A. Edwards
ICRA
2003
IEEE
114views Robotics» more  ICRA 2003»
15 years 10 months ago
Robotic catching using a direct mapping from visual information to motor command
— In this paper a robotic catching algorithm based on a nonlinear mapping of visual information to the desired trajectory is proposed. The nonlinear mapping is optimized by learn...
Akio Namiki, Masatoshi Ishikawa
CSL
2006
Springer
15 years 8 months ago
Solving Games Without Determinization
The synthesis of reactive systems requires the solution of two-player games on graphs with -regular objectives. When the objective is specified by a linear temporal logic formula o...
Thomas A. Henzinger, Nir Piterman