Sciweavers

1262 search results - page 28 / 253
» Fast Robust Hashing
Sort
View
ACL2
2006
ACM
15 years 5 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.
82
Voted
ICMCS
2006
IEEE
135views Multimedia» more  ICMCS 2006»
15 years 5 months ago
A Fingerprinting System for Musical Content
Abstract— Driven by the recent advances in digital entertainment technologies, digital multimedia content (such as music and movies) is becoming a major part of the average compu...
Lahouari Ghouti, Ahmed Bouridane, Mohammad K. Ibra...
ESA
2008
Springer
106views Algorithms» more  ESA 2008»
15 years 27 days ago
An Experimental Analysis of Robinson-Foulds Distance Matrix Algorithms
In this paper, we study two fast algorithms--HashRF and PGM-Hashed--for computing the Robinson-Foulds (RF) distance matrix between a collection of evolutionary trees. The RF distan...
Seung-Jin Sul, Tiffani L. Williams
ICASSP
2009
IEEE
15 years 5 months ago
Robust and fast non asymmetric distributed source coding using turbo codes on the syndrome trellis
We consider the distributed compression of two (binary memoryless) correlated sources and propose a unique codec that can reach any point in the Slepian-Wolf region. In a previous...
Velotiaray Toto-Zarasoa, Aline Roumy, Christine Gu...
ATMOS
2007
114views Optimization» more  ATMOS 2007»
15 years 20 days ago
Fast Approaches to Robust Railway Timetabling
The Train Timetabling Problem (TTP) consists in finding a train schedule on a railway network that satisfies some operational constraints and maximizes a profit function which c...
Matteo Fischetti, Arrigo Zanette, Domenico Salvagn...