Sciweavers

18209 search results - page 337 / 3642
» Some Remarks on the Paper
Sort
View
TOOLS
1999
IEEE
15 years 11 months ago
Optimizations of Eiffel Programs: Smalleiffel, the GNU Eiffel Compiler
The design of the Eiffel language makes it possible to perform global optimizations on Eiffel programs. In this paper, we describe some of the techniques we used in SmallEiffel, T...
Dominique Colnet, Olivier Zendra
FUZZY
1999
Springer
135views Fuzzy Logic» more  FUZZY 1999»
15 years 11 months ago
A General-Purpose Fuzzy Engine for Crop Control
In this position paper we outline the architecture of a general-purpose indirect fuzzy engine for crop control. Some ways of exploiting previous work on a control system for single...
Moataz Ahmed, Ernesto Damiani, Andrea Tettamanzi
ISMIS
1999
Springer
15 years 11 months ago
Improving Backtrack Search for SAT by Means of Redundancy
In this paper, a new heuristic that can be grafted to many of the most e cient branching strategies for Davis and Putnam procedures for SAT is described. This heuristic gives a hig...
Laure Brisoux, Éric Grégoire, Lakhda...
PKC
1999
Springer
211views Cryptology» more  PKC 1999»
15 years 11 months ago
Unknown Key-Share Attacks on the Station-to-Station (STS) Protocol
This paper presents some new unknown key-share attacks on STS-MAC, the version of the STS key agreement protocol which uses a MAC algorithm to provide key confirmation. Various me...
Simon Blake-Wilson, Alfred Menezes
174
Voted
SCALESPACE
1999
Springer
15 years 11 months ago
Scales in Natural Images and a Consequence on their Bounded Variation Norm
This paper introduces a new method for analyzing scaling phenomena in natural images, and draws some consequences as to whether natural images belong to the space of functions with...
Luis Alvarez, Yann Gousseau, Jean-Michel Morel