Sciweavers

11462 search results - page 278 / 2293
» Developing Application-Centric Methods
Sort
View
IPL
2000
82views more  IPL 2000»
15 years 4 months ago
Estimating the number of vertices of a polyhedron
Given a polyhedron P by a list of inequalities we develop unbiased estimates of the number of vertices and bases of P. The estimates are based on applying tree estimation methods ...
David Avis, Luc Devroye
DCC
1999
IEEE
15 years 4 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
TMI
2008
109views more  TMI 2008»
15 years 2 months ago
Motion Compensated Fan-Beam Reconstruction for Nonrigid Transformation
We develop an approximate fan-beam algorithm to reconstruct an object with time-dependent nonrigid transformation such as the heart. The method is in the form of derivative backpro...
Katsuyuki Taguchi, Hiroyuki Kudo
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
15 years 2 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
ICPR
2010
IEEE
15 years 1 months ago
Moments of Elliptic Fourier Descriptors
This paper develops a recursive method for computing moments of 2D objects described by elliptic Fourier descriptors (EFD). Green's theorem is utilized to transform 2D surfac...
Octavian Soldea, Mustafa Unel, Aytül Er&ccedi...