Sciweavers

4597 search results - page 603 / 920
» Structuring Agents for Adaptation
Sort
View
ICASSP
2009
IEEE
16 years 1 months ago
Modeling of contours in wavelet domain for generalized lifting image compression
This paper introduces the design of context-based models of contours in the wavelet domain, which are used to construct generalized lifting (GL) mappings for image compression. Th...
Julio C. Rolon, Antonio Ortega, Philippe Salembier
SASO
2008
IEEE
16 years 1 months ago
Spatial Computing with Labels
— A reconfigurable robot is a robot that can change shape. Programming reconfigurable robots is complicated by the need to adapt the behavior of each of the individual module t...
Ulrik Pagh Schultz, Mirko Bordignon, David Johan C...
TPHOL
2008
IEEE
16 years 1 months ago
Imperative Functional Programming with Isabelle/HOL
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
Lukas Bulwahn, Alexander Krauss, Florian Haftmann,...
GLOBECOM
2007
IEEE
16 years 1 months ago
Bridging Distributed Hash Tables in Wireless Ad-Hoc Networks
—The adaptation of structured P2P networks, i.e. Distributed Hash Tables (DHTs), to wireless ad-hoc networks has been investigated in recent years. Existing work assume all peers...
Lawrence Cheng
ICC
2007
IEEE
114views Communications» more  ICC 2007»
16 years 1 months ago
Downlink MC-2D-CDMA over Time-Variant Frequency-Selective Rayleigh Fading Channels
Abstract— In this paper, the performance of a downlink synchronous MC-CDMA system with joint frequency-time domain spreading over time-variant frequency-selective Rayleigh fading...
Rui Fa, Bayan S. Sharif, Charalampos Tsimenidis