Sciweavers

3346 search results - page 427 / 670
» A Generic Rendering System
Sort
View
IJNSEC
2008
98views more  IJNSEC 2008»
15 years 6 months ago
A New General Transparency Model for Block-based Watermarking Method
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
Fangjun Huang
JAR
2008
105views more  JAR 2008»
15 years 6 months ago
Proof Synthesis and Reflection for Linear Arithmetic
This article presents detailed implementations of quantifier elimination for both integer and real linear arithmetic for theorem provers. The underlying algorithms are those by Coo...
Amine Chaieb, Tobias Nipkow
CORR
2007
Springer
87views Education» more  CORR 2007»
15 years 6 months ago
Symbol Error Rates of Maximum-Likelihood Detector: Convex/Concave Behavior and Applications
— Convexity/concavity properties of symbol error rates (SER) of the maximum likelihood detector operating in the AWGN channel (non-fading and fading) are studied. Generic conditi...
Sergey Loyka, Victoria Kostina, François Ga...
167
Voted
JCP
2008
133views more  JCP 2008»
15 years 6 months ago
YAVISTA: A Graphical Tool for Comparing 802.11 Simulators
The difficulty to compare network simulators is a major obstacle to the broader adoption of these tools. This problem particularly affects 802.11 simulators because the 802.11 prot...
Ryad Ben-El-Kezadri, Farouk Kamoun
CSI
2007
91views more  CSI 2007»
15 years 6 months ago
Implementing regular cash with blind fixed-value electronic coins
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...
Dimitrios Lekkas, Diomidis Spinellis