Sciweavers

814 search results - page 61 / 163
» Analysis of Modular Arithmetic
Sort
View
CAIP
2007
Springer
188views Image Analysis» more  CAIP 2007»
15 years 4 months ago
Curvature Estimation in Noisy Curves
An algorithm of estimation of the curvature at each point of a general discrete curve in O(nlog2 n) is proposed. It uses the notion of blurred segment, extending the definition of...
Thanh Phuong Nguyen, Isabelle Debled-Rennesson
ASAP
1997
IEEE
106views Hardware» more  ASAP 1997»
15 years 2 months ago
Libraries of schedule-free operators in Alpha
This paper presents a method, based on the formalism of affine recurrence equations, for the synthesis of digital circuits exploiting parallelism at the bit-level. In the initial ...
Florent de Dinechin
COCO
2005
Springer
128views Algorithms» more  COCO 2005»
15 years 3 months ago
More on Noncommutative Polynomial Identity Testing
We continue the study of noncommutative polynomial identity testing initiated by Raz and Shpilka and present efficient algorithms for the following problems in the noncommutative...
Andrej Bogdanov, Hoeteck Wee
AMAI
2007
Springer
14 years 10 months ago
Decision procedures for extensions of the theory of arrays
The theory of arrays, introduced by McCarthy in his seminal paper “Toward a mathematical science of computation”, is central to Computer Science. Unfortunately, the theory alo...
Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, D...
APLAS
2004
ACM
15 years 3 months ago
Network Fusion
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
Pascal Fradet, Stéphane Hong Tuan Ha