Sciweavers

598 search results - page 100 / 120
» Generic Trace Theory
Sort
View
FAC
2008
80views more  FAC 2008»
13 years 9 months ago
Verification of Mondex electronic purses with KIV: from transactions to a security protocol
The Mondex case study about the specification and refinement of an electronic purse as defined in the Oxford Technical Monograph PRG-126 has recently been proposed as a challenge f...
Dominik Haneberg, Gerhard Schellhorn, Holger Grand...
CORR
2007
Springer
110views Education» more  CORR 2007»
13 years 9 months ago
On formulas for decoding binary cyclic codes
— We address the problem of the algebraic decoding of any cyclic code up to the true minimum distance. For this, we use the classical formulation of the problem, which is to fin...
Daniel Augot, Magali Bardet, Jean-Charles Faug&egr...
CORR
2004
Springer
140views Education» more  CORR 2004»
13 years 8 months ago
Integrating Defeasible Argumentation and Machine Learning Techniques
The field of machine learning (ML) is concerned with the question of how to construct algorithms that automatically improve with experience. In recent years many successful ML app...
Sergio Alejandro Gómez, Carlos Iván ...
INFOCOM
2010
IEEE
13 years 7 months ago
Beyond Triangle Inequality: Sifting Noisy and Outlier Distance Measurements for Localization
—Knowing accurate positions of nodes in wireless ad-hoc and sensor networks is essential for a wide range of pervasive and mobile applications. However, errors are inevitable in ...
Lirong Jian, Zheng Yang, Yunhao Liu
TVCG
2010
160views more  TVCG 2010»
13 years 7 months ago
Robust Feature-Preserving Mesh Denoising Based on Consistent Subneighborhoods
—In this paper, we introduce a feature-preserving denoising algorithm. It is built on the premise that the underlying surface of a noisy mesh is piecewise smooth, and a sharp fea...
Hanqi Fan, Yizhou Yu, Qunsheng Peng