Sciweavers

3406 search results - page 50 / 682
» Computational models of classical conditioning
Sort
View
APN
2000
Springer
14 years 1 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
CORR
2010
Springer
154views Education» more  CORR 2010»
13 years 8 months ago
Causal Markov condition for submodular information measures
The causal Markov condition (CMC) is a postulate that links observations to causality. It describes the conditional independences among the observations that are entailed by a cau...
Bastian Steudel, Dominik Janzing, Bernhard Sch&oum...
ICRA
2008
IEEE
121views Robotics» more  ICRA 2008»
14 years 3 months ago
Trajectory inverse kinematics by conditional density modes
Abstract— We present a machine learning approach for trajectory inverse kinematics: given a trajectory in workspace, to find a feasible trajectory in angle space. The method lea...
Chao Qin, Miguel Á. Carreira-Perpiñ&...
IJHCI
2010
117views more  IJHCI 2010»
13 years 7 months ago
Avoiding Latent Design Conditions Using UI Discovery Tools
Motivation – Designers make decisions that later influence how users work with the systems that they have designed. When errors occur in use, it is tempting to focus on the acti...
Harold W. Thimbleby
IJON
2006
79views more  IJON 2006»
13 years 8 months ago
Fast computation with neural oscillators
This paper studies new spike-based models for winner-take-all computation and coincidence detection. In both cases, very fast convergence is achieved independent of initial condit...
Wei Wang 0008, Jean-Jacques E. Slotine