Sciweavers

1730 search results - page 218 / 346
» Algebra and Computation
Sort
View
EURODAC
1994
IEEE
122views VHDL» more  EURODAC 1994»
15 years 8 months ago
Compiled-code-based simulation with timing verification
Due to the complexity of today's systems, prototyping by simulation must be based on simulation-engine-like performance. It is proved by implementations that compiler-driven ...
Winfried Hahn, Andreas Hagerer, C. Herrmann
ICPR
2002
IEEE
16 years 5 months ago
Multi-Scale Autoconvolution for Affine Invariant Pattern Recognition
This paper describes a novel image transform called Multi-Scale Autoconvolution which is invariant with respect to affine transformations of the spatial image coordinates. The tra...
Janne Heikkilä
FUN
2007
Springer
87views Algorithms» more  FUN 2007»
15 years 10 months ago
Knitting for Fun: A Recursive Sweater
In this paper we investigate the relations between knitting and computer science. We show that the two disciplines share many concepts. Computer science, in particular algorithm th...
Anna Bernasconi, Chiara Bodei, Linda Pagli
CONCUR
1992
Springer
15 years 8 months ago
The Duality of TIme and Information
The states of a computing system bear information and change time, while its events bear time and change information. We develop a primitive algebraic model of this duality of tim...
Vaughan R. Pratt
ISSAC
1995
Springer
155views Mathematics» more  ISSAC 1995»
15 years 7 months ago
On the Implementation of Dynamic Evaluation
Dynamic evaluation is a technique for producing multiple results according to a decision tree which evolves with program execution. Sometimes it is desired to produce results for ...
Peter A. Broadbery, T. Gómez-Díaz, S...