5707 search results - page 196 / 1142 » Symbolic Simulation - Techniques and Applications |
165
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, t...
159
click to vote
AIM
2006
15 years 6 months ago
2006
This article introduces Pyro, an open source python robotics toolkit for exploring topics in AI and robotics. nt key abstractions that allow Pyro controllers to run unchanged on a...
158
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
This paper presents the design of an associative memory with feedback that is capable of on-line temporal sequence learning. A framework for on-line sequence learning has been prop...
210
click to vote
INFORMATICALT
2008
15 years 6 months ago
2008
Abstract. A new computational methodology for executing calculations with infinite and infinitesimal quantities is described in this paper. It is based on the principle `The part i...
183
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
— Low density lattice codes (LDLC) are novel lattice codes that can be decoded efficiently and approach the capacity of the additive white Gaussian noise (AWGN) channel. In LDLC...