Sciweavers

4767 search results - page 425 / 954
» Structures for Abstract Rewriting
Sort
View
WCNC
2008
IEEE
16 years 1 months ago
Integrated Source-Channel Decoding for Correlated Data-Gathering Sensor Networks
Abstract— This paper explores integrated source-channel decoding, driven by wireless sensor network applications where correlated information acquired by the network is gathered ...
Sheryl L. Howard, Paul G. Flikkema
GLOBECOM
2007
IEEE
16 years 1 months ago
Outage Behavior of Quasi-Static Fading Channels with Partial Power Control and Noisy Feedback
Abstract— We investigate the outage behavior of multipleantenna slowly fading channels with resolution constrained feedback and partial power control. A fixed-rate communication...
Siavash Ekbatani, Farzad Etemadi, Hamid Jafarkhani
CIA
2007
Springer
16 years 1 months ago
An Architecture for Hybrid P2P Free-Text Search
Abstract. Recent advances in peer to peer (P2P) search algorithms have presented viable structured and unstructured approaches for full-text search. We posit that these existing ap...
Avi Rosenfeld, Claudia V. Goldman, Gal A. Kaminka,...
IJCNN
2006
IEEE
16 years 26 days ago
Combining Multi-Frame Images for Enhancement Using Self-Delaying Dynamic Networks
Abstract— This paper presents the use of a newly created network structure known as a Self-Delaying Dynamic Network (SDN). The SDNs were created to process data which varies with...
Lewis Eric Hibell, Honghai Liu, David J. Brown
SEFM
2006
IEEE
16 years 25 days ago
A Theory of Singly-Linked Lists and its Extensible Decision Procedure
The key to many approaches to reason about pointerbased data structures is the availability of a decision procedure to automatically discharge proof obligations in a theory encomp...
Silvio Ranise, Calogero G. Zarba