3457 search results - page 312 / 692 » A Symbol Is Not a Symbol |
166
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
This paper presents a model of neural network embodiment of intentions and planning mechanisms for autonomous agents. The model bridges the dichotomy of symbolic and non-symbolic ...
153
click to vote
FMCAD
2009
Springer
16 years 1 months ago
2009
Springer
Abstract—Several successful approaches to software verificabased on the construction and analysis of an abstract reachability tree (ART). The ART represents unwindings of the co...
162
Voted
FSTTCS
2009
Springer
16 years 1 months ago
2009
Springer
We present a symbolic framework for refinement and composition of security protocols. ework uses the notion of ideal functionalities. These are abstract systems which are secure b...
201
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
—In this paper, transmission over time-selective, flat fading relay channels is studied. It is assumed that channel fading coefficients are not known a priori. Transmission tak...
196
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— In this paper, we propose a low complexity Maximum Likelihood (ML) decoding algorithm for orthogonal spacetime block codes (OSTBCs) based on the real-valued lattice rep...