Sciweavers

279 search results - page 46 / 56
» Exact Algorithms for Cluster Editing: Evaluation and Experim...
Sort
View
ICIP
2008
IEEE
15 years 6 months ago
Exploiting local auto-correlation function for fast video to reference image alignment
Digital images of natural scenes are usually characterized by strong spatial correlation between adjacent pixels which has been successfully exploited in the coding of still and m...
Arif Mahmood, Sohaib Khan
APLAS
2010
ACM
14 years 12 months ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
ICRA
2010
IEEE
145views Robotics» more  ICRA 2010»
14 years 10 months ago
Multiple relative pose graphs for robust cooperative mapping
Abstract— This paper describes a new algorithm for cooperative and persistent simultaneous localization and mapping (SLAM) using multiple robots. Recent pose graph representation...
Been Kim, Michael Kaess, Luke Fletcher, John J. Le...
ICDE
2012
IEEE
252views Database» more  ICDE 2012»
13 years 2 months ago
Approximate String Membership Checking: A Multiple Filter, Optimization-Based Approach
— We consider the approximate string membership checking (ASMC) problem of extracting all the strings or substrings in a document that approximately match some string in a given ...
Chong Sun, Jeffrey F. Naughton, Siddharth Barman
CPM
1998
Springer
115views Combinatorics» more  CPM 1998»
15 years 4 months ago
Aligning Alignments
d abstract) John Kececioglu and Dean Starrett Department of Computer Science The University of Arizona Tucson AZ 85721, USA A basic computational problem that arises in both the...
John D. Kececioglu, Weiqing Zhang