Sciweavers

12265 search results - page 150 / 2453
» Knuth-Morris-Pratt Algorithm: An Analysis
Sort
View
PLDI
2012
ACM
13 years 16 days 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 4 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»
14 years 10 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 2 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
14 years 8 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