Sciweavers

2555 search results - page 303 / 511
» Quantifiers and Working Memory
Sort
View
SAB
2010
Springer
150views Optimization» more  SAB 2010»
15 years 2 months ago
Internal Models in the Cerebellum: A Coupling Scheme for Online and Offline Learning in Procedural Tasks
The cerebellum plays a major role in motor control. It is thought to mediate the acquisition of forward and inverse internal models of the bodyenvironment interaction [1]. In this ...
Jean-Baptiste Passot, Niceto Luque, Angelo Arleo
112
Voted
CORR
2009
Springer
74views Education» more  CORR 2009»
15 years 2 months ago
Parallelizing Deadlock Resolution in Symbolic Synthesis of Distributed Programs
Previous work has shown that there are two major complexity barriers in the synthesis of fault-tolerant distributed programs, namely generation of fault-span, the set of states re...
Fuad Abujarad, Borzoo Bonakdarpour, Sandeep S. Kul...
ERSA
2009
109views Hardware» more  ERSA 2009»
15 years 2 months ago
An Implementation of Security Extensions for Data Integrity and Confidentiality in Soft-Core Processors
An increasing number of embedded system solutions in space, military, and consumer electronics applications rely on processor cores inside reconfigurable logic devices. Ensuring da...
Austin Rogers, Aleksandar Milenkovic
ICCAD
2009
IEEE
123views Hardware» more  ICCAD 2009»
15 years 2 months ago
Multi-level clustering for clock skew optimization
Clock skew scheduling has been effectively used to reduce the clock period of sequential circuits. However, this technique may become impractical if a different skew must be appli...
Jonas Casanova, Jordi Cortadella
CORR
2011
Springer
161views Education» more  CORR 2011»
14 years 11 months ago
Generalized Gray Codes for Local Rank Modulation
—We consider the local rank-modulation scheme in which a sliding window going over a sequence of real-valued variables induces a sequence of permutations. Local rankmodulation is...
Eyal En Gad, Michael Langberg, Moshe Schwartz, Jeh...