Sciweavers

391 search results - page 24 / 79
» Code Improvements for Model Elimination Based Reasoning Syst...
Sort
View
JUCS
2007
108views more  JUCS 2007»
13 years 8 months ago
Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP)
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
Hossein Hojjat, Hootan Nakhost, Marjan Sirjani
CC
2006
Springer
124views System Software» more  CC 2006»
14 years 20 days ago
Polyhedral Code Generation in the Real World
The polyhedral model is known to be a powerful framework to reason about high level loop transformations. Recent developments in optimizing compilers broke some generally accepted ...
Nicolas Vasilache, Cédric Bastoul, Albert C...
STAIRS
2008
169views Education» more  STAIRS 2008»
13 years 10 months ago
Probabilistic Association Rules for Item-Based Recommender Systems
Since the beginning of the 1990's, the Internet has constantly grown, proposing more and more services and sources of information. The challenge is no longer to provide users ...
Sylvain Castagnos, Armelle Brun, Anne Boyer
VTC
2006
IEEE
142views Communications» more  VTC 2006»
14 years 2 months ago
Adaptive Bit-Interleaved Coded OFDM over Time-Varying Channels
When adapting the transmitter to the channel state information (CSI), improved transmission is possible compared to the open loop system where no CSI is provided at the transmitte...
Jin Soo Choi, Chang-Kyung Sung, Sung Hyun Moon, In...
TIP
2008
131views more  TIP 2008»
13 years 8 months ago
Hyperspectral Image Compression: Adapting SPIHT and EZW to Anisotropic 3-D Wavelet Coding
Abstract--Hyperspectral images present some specific characteristics that should be used by an efficient compression system. In compression, wavelets have shown a good adaptability...
Emmanuel Christophe, Corinne Mailhes, Pierre Duham...