Sciweavers

3373 search results - page 486 / 675
» Linear transformations on codes
Sort
View
COMPSAC
2003
IEEE
15 years 8 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
137
Voted
INFOCOM
2003
IEEE
15 years 8 months ago
Opportunistic Fair Scheduling over Multiple Wireless Channels
Abstract— Emerging spread spectrum high-speed data networks utilize multiple channels via orthogonal codes or frequency-hopping patterns such that multiple users can transmit con...
Yonghe Liu, Edward W. Knightly
116
Voted
IFSA
2003
Springer
179views Fuzzy Logic» more  IFSA 2003»
15 years 8 months ago
A CHC Evolutionary Algorithm for 3D Image Registration
Image registration has been a very active research area in the computer vision community. In the last few years, there is an increasing interest on the application of Evolutionary ...
Oscar Cordón, Sergio Damas, Jose Santamar&i...
IEEEMSP
2002
IEEE
156views Multimedia» more  IEEEMSP 2002»
15 years 8 months ago
A robust and secure media signature scheme for JPEG images
—In [1, 2, 3], we have introduced a robust and secure digital signature solution for multimedia content authentication, by integrating content feature extraction, error correctio...
Qibin Sun, Qi Tian, Shih-Fu Chang
PDP
2002
IEEE
15 years 8 months ago
Modular MPI Components and the Composition of Grid Applications
The Ensemble methodology supports the design and implementation of message passing applications, particularly MPMD and those demanding irregular or partially regular process topol...
John Yiannis Cotronis