114 search results - page 19 / 23 » Symbolic Simulation: An ACL2 Approach |
KBS
2002
13 years 8 months ago
2002
In this paper, a hybrid learning approach named HDT is proposed. HDT simulates human reasoning by using symbolic learning to do qualitative analysis and using neural learning to d...
IFIP
2001
Springer
14 years 26 days ago
2001
Springer
— Semi-formal verification based on symbolic simulation offers a good compromise between formal model checking and numerical simulation. The generation of functional test vector...
VLSISP
2002
13 years 8 months ago
2002
A simple approach for adaptive interference suppression for the downlink (base-to-mobile link) of a direct sequence (DS) based cellular communication system is presented. The base ...
ICDE
2009
IEEE
14 years 3 months ago
2009
IEEE
—Developing powerful paradigms for programming sensor networks is critical to realize the full potential of sensor networks as collaborative data processing engines. In this arti...
CISS
2008
IEEE
14 years 2 months ago
2008
IEEE
— We propose an implementable new universal lossy source coding algorithm. The new algorithm utilizes two wellknown tools from statistical physics and computer science: Gibbs sam...