Sciweavers

517 search results - page 37 / 104
» On intelligence as memory
Sort
View
ISMVL
1998
IEEE
113views Hardware» more  ISMVL 1998»
15 years 4 months ago
Look-up Tables (LUTs) for Multiple-Valued, Combinational Logic
The use of Look-Up Tables (LUTs) is extended from binary to multiple-valued logic (MVL) circuits. A multiplevalued LUT can be implemented using both current-mode and voltage-mode ...
Ali Sheikholeslami, R. Yoshimura, P. Glenn Gulak
PDPTA
2003
15 years 1 months ago
Java Resources for Teaching Reinforcement Learning
— In this paper we present a library of classes for programming reinforcement learning simulations in Java. This library is based upon the standard by Sutton and Santamaria [1], ...
Amy J. Kerr, Todd W. Neller, Christopher J. La Pil...
TPHOL
2009
IEEE
15 years 6 months ago
Types, Maps and Separation Logic
Abstract. This paper presents a separation-logic framework for reasoning about low-level C code in the presence of virtual memory. We describe ract, generic Isabelle/HOL framework ...
Rafal Kolanski, Gerwin Klein
ISCAS
2011
IEEE
261views Hardware» more  ISCAS 2011»
14 years 3 months ago
Hardware synchronization for embedded multi-core processors
Abstract— Multi-core processors are about to conquer embedded systems — it is not the question of whether they are coming but how the architectures of the microcontrollers shou...
Christian Stoif, Martin Schoeberl, Benito Liccardi...
BCSHCI
2007
15 years 1 months ago
Investigating the usability of PDAs with ageing users
Mobile technologies have the potential to enhance the lives of ageing users, especially those who experience a decline in cognitive abilities. However, diminutive devices often pe...
Sheila Mc Carthy, Heather Sayers, Paul McKevitt