Sciweavers

1399 search results - page 145 / 280
» Multi-party Finite Computations
Sort
View
DCC
1999
IEEE
15 years 3 months ago
A General Polynomial Sieve
An important component of the index calculus methods for finding discrete logarithms is the acquisition of smooth polynomial relations. Gordon and McCurley (1992) developed a sieve...
Shuhong Gao, Jason Howell
DLT
2009
15 years 1 months ago
Tight Bounds on the Descriptional Complexity of Regular Expressions
Abstract. We improve on some recent results on lower bounds for conversion problems for regular expressions. In particular we consider the conversion of planar deterministic finite...
Hermann Gruber, Markus Holzer
DLT
2009
15 years 1 months ago
Weighted versus Probabilistic Logics
While a mature theory around logics such as MSO, LTL, and CTL has been developed in the pure boolean setting of finite automata, weighted automata lack such a natural connection wi...
Benedikt Bollig, Paul Gastin
CVPR
2003
IEEE
16 years 6 months ago
Deformable Object Tracking Using the Boundary Element Method
This paper presents a method to perform 2D deformable object tracking using the boundary element method (BEM). BEM, like the finite element method (FEM), is a technique to model a...
Michael A. Greminger, Bradley J. Nelson
DAC
2008
ACM
16 years 5 months ago
Stochastic integral equation solver for efficient variation-aware interconnect extraction
In this paper we present an efficient algorithm for extracting the complete statistical distribution of the input impedance of interconnect structures in the presence of a large n...
Tarek Moselhy, Luca Daniel