Sciweavers

3457 search results - page 225 / 692
» A Symbol Is Not a Symbol
Sort
View
ICANN
2009
Springer
16 years 1 months ago
Connectionist Models for Formal Knowledge Adaptation
Abstract. Both symbolic knowledge representation systems and artificial neural networks play a significant role in Artificial Intelligence. A recent trend in the field aims at ...
Ilianna Kollia, Nikos Simou, Giorgos B. Stamou, An...
SPIRE
2009
Springer
16 years 1 months ago
Directly Addressable Variable-Length Codes
We introduce a symbol reordering technique that implicitly synchronizes variable-length codes, such that it is possible to directly access the i-th codeword without need of any sam...
Nieves R. Brisaboa, Susana Ladra, Gonzalo Navarro
ICC
2007
IEEE
140views Communications» more  ICC 2007»
16 years 26 days ago
Performance Analysis of Full-rate STBCs from Coordinate Interleaved Orthogonal Designs
— In this paper, we derive the theoretical symbol error rate (SER) for a full-rate space-time block coded (STBCed) system with coordinate interleaved orthogonal designs (CIODs) o...
Ying Rao Wei, M. Z. Wang
KBSE
2007
IEEE
16 years 25 days ago
The eureka tool for software model checking
We describe EUREKA, a symbolic model checker for Linear Programs with arrays, i.e. programs where variables and array elements range over a numeric domain and expressions involve ...
Alessandro Armando, Massimo Benerecetti, Dario Car...
VTC
2007
IEEE
16 years 24 days ago
Optimizing Physical Layer Energy Consumption for Wireless Sensor Networks
— This paper investigates the use of physical layer symbol error rate (SER) optimization to minimize wireless sensor network (WSN) energy consumption. Increasing the SER maintain...
Jennifer Hartwell, Geoffrey G. Messier, Robert J. ...