Sciweavers

2570 search results - page 422 / 514
» Fast Algorithms For The Computation Of Ranklets
Sort
View
ACL2
2006
ACM
15 years 4 months ago
Function memoization and unique object representation for ACL2 functions
We have developed an extension of ACL2 that includes the implementation of hash-based association lists and function memoization; this makes some algorithms execute more quickly. ...
Robert S. Boyer, Warren A. Hunt Jr.
IMR
2004
Springer
15 years 3 months ago
Entkerner: A System for Removal of Globally Invisible Triangles from Large Meshes
We present a method that computes a global potentially visible set for the complete region outside the convex hull of an object. The technique is used to remove invisible parts (t...
Manfred Ernst, Frank Firsching, Roberto Grosso
IWPEC
2004
Springer
15 years 3 months ago
Perfect Path Phylogeny Haplotyping with Missing Data Is Fixed-Parameter Tractable
Abstract. Haplotyping via perfect phylogeny is a method for retrieving haplotypes from genotypes. Fast algorithms are known for computing perfect phylogenies from complete and erro...
Jens Gramm, Till Nierhoff, Till Tantau
SIGGRAPH
2003
ACM
15 years 3 months ago
Cloth motion capture
Recent years have seen an increased interest in motion capture systems. Current systems, however, are limited to only a few degrees of freedom, so that effectively only the motion...
David Pritchard, Wolfgang Heidrich
WACV
2002
IEEE
15 years 2 months ago
Monocular, Vision Based, Autonomous Refueling System
This paper describes design and implementation of a vision based platform for automated refueling tasks. The platform is an autonomous docking system in principle, with the specif...
Aly A. Farag, Emir Dizdarevic, Ahmed Eid, Albert L...