Sciweavers

2509 search results - page 251 / 502
» Abstract Geometrical Computation and Computable Analysis
Sort
View
SCALESPACE
2005
Springer
16 years 2 days ago
On Similarity-Invariant Fairness Measures
Abstract. After introducing the basic principles behind the similarityinvariant smoothness measures for curves and surfaces, with references to the relevant literature, we discuss ...
Alexander Brook, Alfred M. Bruckstein, Ron Kimmel
RSCTC
2004
Springer
215views Fuzzy Logic» more  RSCTC 2004»
15 years 12 months ago
On the Evolution of Rough Set Exploration System
Abstract. We present the next version (ver. 2.1) of the Rough Set Exploration System – a software tool featuring a library of methods and a graphical user interface supporting va...
Jan G. Bazan, Marcin S. Szczuka, Arkadiusz Wojna, ...
ESORICS
2006
Springer
15 years 10 months ago
Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos
Abstract We present a computational analysis of basic Kerberos with and without its public-key extension PKINIT in which we consider authentication and key secrecy properties. Our ...
Michael Backes, Iliano Cervesato, Aaron D. Jaggard...
ARC
2008
Springer
128views Hardware» more  ARC 2008»
15 years 8 months ago
A Framework for the Automatic Generation of Instruction-Set Extensions for Reconfigurable Architectures
Abstract. In this paper we present a framework for the automatic identification and selection of convex MIMO instruction-set extensions for reconfigurable architecture. The framewo...
Carlo Galuzzi, Koen Bertels
DIDACTICA
2000
70views more  DIDACTICA 2000»
15 years 6 months ago
Visualisierung und Animation der semantischen Analyse von Programmen
In computer science methods to aid learning are very important, because abstract models are used frequently. For this conventional teaching methods do not suffice. We have develope...
Andreas Kerren