Sciweavers

988 search results - page 45 / 198
» Pseudo-Genetic Algorithmic Composition
Sort
View
ICASSP
2011
IEEE
13 years 2 months ago
Accurate non-iterative depth layer extraction algorithm for image based rendering
Image based rendering is an attractive alternative for generating novel views compared to model based rendering due to its lower complexity and potential for photo-realistic resul...
James Pearson, Pier Luigi Dragotti, Mike Brookes
RECOMB
2010
Springer
14 years 6 months ago
A Novel Abundance-Based Algorithm for Binning Metagenomic Sequences Using l-Tuples
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
Yu-Wei Wu, Yuzhen Ye
ASIACRYPT
2003
Springer
14 years 4 months ago
Factoring Estimates for a 1024-Bit RSA Modulus
We estimate the yield of the number field sieve factoring algorithm when applied to the 1024-bit composite integer RSA-1024 and the parameters as proposed in the draft version [17...
Arjen K. Lenstra, Eran Tromer, Adi Shamir, Wil Kor...
DEXA
2006
Springer
80views Database» more  DEXA 2006»
14 years 2 months ago
Scalable Automated Service Composition Using a Compact Directory Digest
The composition of services that are indexed in a large-scale service directory often involves many complex queries issued by the service composition algorithm to the directory. Th...
Walter Binder, Ion Constantinescu, Boi Faltings
CAV
1998
Springer
147views Hardware» more  CAV 1998»
14 years 3 months ago
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking
An implementation of an out-of-order processing unit based on Tomasulo's algorithm is formally verified using compositional model checking techniques. This demonstrates that f...
Kenneth L. McMillan