Sciweavers

1945 search results - page 48 / 389
» Speeding up Serpent
Sort
View
FMCO
2009
Springer
130views Formal Methods» more  FMCO 2009»
14 years 9 months ago
Interleaving Symbolic Execution and Partial Evaluation
Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advanta...
Richard Bubel, Reiner Hähnle, Ran Ji
ICAPR
2009
Springer
14 years 9 months ago
Online Improved Eigen Tracking
We present a novel predictive statistical framework to improve the performance of an Eigen Tracker which uses fast and efficient eigen space updates to learn new views of the obje...
Subarna Tripathi, Santanu Chaudhury, Sumantra Dutt...
41
Voted
COLING
2010
14 years 6 months ago
Generating Learner-Like Morphological Errors in Russian
To speed up the process of categorizing learner errors and obtaining data for languages which lack error-annotated data, we describe a linguistically-informed method for generatin...
Markus Dickinson
ICASSP
2010
IEEE
14 years 6 months ago
Robust frequency-based Audio Fingerprinting
Pure frequency-based audio fingerprint systems have the capacity of handling very short fingerprints while being highly robust to perturbations such as additive noise or compressi...
Elsa Dupraz, Gaël Richard
JMLR
2010
169views more  JMLR 2010»
14 years 6 months ago
Focused Belief Propagation for Query-Specific Inference
With the increasing popularity of largescale probabilistic graphical models, even "lightweight" approximate inference methods are becoming infeasible. Fortunately, often...
Anton Chechetka, Carlos Guestrin