Sciweavers

13376 search results - page 2198 / 2676
» Problem Solving with
Sort
View
ICC
2007
IEEE
106views Communications» more  ICC 2007»
16 years 1 months ago
Differential Space-Frequency Modulation and 2D-Detection for MIMO-OFDM
Abstract— In this paper differential space–frequency modulation (DSFM) for transmission over multiple–input multiple– output channels using orthogonal frequency division mu...
Volker Pauli, Lutz H.-J. Lampe, Johannes Huber
ICTAI
2007
IEEE
16 years 1 months ago
Knowledge Based Mechanisms for Tutoring Systems in Science and Engineering
In science and engineering courses, students are often presented a situation for which they are asked to identify the relevant principles and to instantiate them as a set of equat...
Chun Wai Liew, Joel A. Shapiro, Donald E. Smith
QEST
2007
IEEE
16 years 1 months ago
Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior
Among the many stages of a simulation study, debugging a simulation model is the one that is hardly reported on but that may consume a considerable amount of time and effort. In t...
Peter Kemper, Carsten Tepper
TASE
2007
IEEE
16 years 1 months ago
Model Checking Software at Compile Time
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
Ansgar Fehnker, Ralf Huuck, Patrick Jayet, Michel ...
ASIACRYPT
2007
Springer
16 years 1 months ago
How to Build a Hash Function from Any Collision-Resistant Function
Recent collision-finding attacks against hash functions such as MD5 and SHA-1 motivate the use of provably collision-resistant (CR) functions in their place. Finding a collision ...
Thomas Ristenpart, Thomas Shrimpton
« Prev « First page 2198 / 2676 Last » Next »