Sciweavers

4084 search results - page 528 / 817
» Constraints in spatial structures
Sort
View
WCNC
2008
IEEE
15 years 11 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
15 years 11 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
SEFM
2006
IEEE
15 years 10 months 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
ATS
2005
IEEE
139views Hardware» more  ATS 2005»
15 years 10 months ago
Shannon Expansion Based Supply-Gated Logic for Improved Power and Testability
— Structural transformation of a design to enhance its testability while satisfying design constraints on power and performance, can result in improved test cost and test confid...
Swaroop Ghosh, Swarup Bhunia, Kaushik Roy
CSB
2005
IEEE
133views Bioinformatics» more  CSB 2005»
15 years 10 months ago
Creating a Protein Ontology Resource
Protein Data Integration approaches at the moment considers data sources as data repositories, but not as applications; which in turn may embody complex interactions with other da...
Amandeep S. Sidhu, Tharam S. Dillon, Elizabeth Cha...