Sciweavers

12265 search results - page 150 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
PLDI
2012
ACM
13 years 6 months ago
Diderot: a parallel DSL for image analysis and visualization
Research scientists and medical professionals use imaging technology, such as computed tomography (CT) and magnetic resonance imaging (MRI) to measure a wide variety of biological...
Charisee Chiw, Gordon Kindlmann, John Reppy, Lamon...
SAS
2007
Springer
103views Formal Methods» more  SAS 2007»
15 years 10 months ago
Footprint Analysis: A Shape Analysis That Discovers Preconditions
Existing shape analysis algorithms infer descriptions of data structures at program points, starting from a given precondition. We describe an analysis that does not require any pr...
Cristiano Calcagno, Dino Distefano, Peter W. O'Hea...
INFORMATICALT
2008
91views more  INFORMATICALT 2008»
15 years 4 months ago
Lloyd-Max's Algorithm Implementation in Speech Coding Algorithm Based on Forward Adaptive Technique
In this paper a detail analysis of speech coding algorithm based on forward adaptive technique is carried out. We consider an algorithm that works on frame-by-frame basis, where a ...
Jelena Nikolic, Zoran Peric
CAIP
2001
Springer
15 years 9 months ago
A New Autocalibration Algorithm: Experimental Evaluation
A new autocalibration algorithm has been recently presented by Mendon¸ca and Cipolla which is both simple and nearly globally convergent. Analysis of convergence is missing in the...
Andrea Fusiello
PPDP
2010
Springer
15 years 2 months ago
Precise complexity analysis for efficient datalog queries
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
K. Tuncay Tekle, Yanhong A. Liu