Sciweavers

2522 search results - page 59 / 505
» From Self-Organized Systems to Collective Problem Solving
Sort
View
CISS
2010
IEEE
12 years 11 months ago
Cost constrained spectrum sensing in cognitive radio networks
—This paper addresses optimal spectrum sensing in cognitive radio networks considering its system level cost that accounts for the local processing cost of sensing (sample collec...
Gang Xiong, Shalinee Kishore, Aylin Yener
ENTCS
2008
139views more  ENTCS 2008»
13 years 7 months ago
Pervasive Compiler Verification - From Verified Programs to Verified Systems
We report in this paper on the formal verification of a simple compiler for the C-like programming language C0. The compiler correctness proof meets the special requirements of pe...
Dirk Leinenbach, Elena Petrova
ICIP
2002
IEEE
14 years 9 months ago
Multigrid image reconstruction from arbitrarily spaced samples
We propose a novel multiresolution-multigrid based signal reconstruction method from arbitrarily spaced samples. The signal is reconstructed on a uniform grid using B-splines basi...
Michael Sühling, Michael Unser, Muthuvel Arig...
DEXAW
1999
IEEE
91views Database» more  DEXAW 1999»
14 years 1 hour ago
Document Analysis Techniques for the Infinite Memory Multifunction Machine
A system that saves a digital copy of every document that users copy, print, or fax, without asking the user, has recently been proposed. Referred to as the Infinite Memory Multif...
Jonathan J. Hull, Dar-Shyang Lee, John F. Cullen, ...
AAAI
2007
13 years 10 months ago
Online Co-Localization in Indoor Wireless Networks by Dimension Reduction
This paper addresses the problem of recovering the locations of both mobile devices and access points from radio signals that come in a stream manner, a problem which we call onli...
Jeffrey Junfeng Pan, Qiang Yang, Sinno Jialin Pan