Sciweavers

3457 search results - page 42 / 692
» A Symbol Is Not a Symbol
Sort
View
DAC
2004
ACM
14 years 11 months ago
A SAT-based algorithm for reparameterization in symbolic simulation
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
Pankaj Chauhan, Edmund M. Clarke, Daniel Kroening
HIS
2008
13 years 11 months ago
The Hybrid Integration of Perceptual Symbol Systems and Interactive Reinforcement Learning
In order to produce robots which can interact more effectively with humans we propose that it is necessary for their cognitive processes to be grounded in the same perceptual elem...
Michael John Knowles, Stefan Wermter
CORR
2010
Springer
77views Education» more  CORR 2010»
13 years 10 months ago
Pattern Classification In Symbolic Streams via Semantic Annihilation of Information
We propose a technique for pattern classification in symbolic streams via selective erasure of observed symbols, in cases where the patterns of interest are represented as Probabil...
Ishanu Chattopadhyay, Yicheng Wen, Asok Ray
FLAIRS
2003
13 years 11 months ago
Distributed Knowledge Representation in Neural-Symbolic Learning Systems: A Case Study
Neural-symbolic integration concerns the integration of symbolic and connectionist systems. Distributed knowledge representation is traditionally seen under a purely symbolic pers...
Artur S. d'Avila Garcez, Luís C. Lamb, Krys...
ISLPED
1997
ACM
83views Hardware» more  ISLPED 1997»
14 years 2 months ago
A symbolic algorithm for low-power sequential synthesis
We present an algorithm that restructures the state transition graph STG of a sequential circuit so as to reduce power dissipation. The STG is modi ed without changing the behav...
Balakrishna Kumthekar, In-Ho Moon, Fabio Somenzi