Sciweavers

17770 search results - page 2964 / 3554
» A Generalization of Forward-Backward Algorithm
Sort
View
187
Voted
JUCS
2010
130views more  JUCS 2010»
15 years 5 months ago
On the Linear Number of Matching Substrings
Abstract: We study the number of matching substrings in the pattern matching problem. In general, there can be a quadratic number of matching substrings in the size of a given text...
Yo-Sub Han
JUCS
2010
106views more  JUCS 2010»
15 years 5 months ago
A Heuristic Approach to Positive Root Isolation for Multiple Power Sums
: Given a multiple power sum (extending polynomial’s exponents to real numbers), the positive root isolation problem is to find a list of disjoint intervals, satisfying that the...
Ming Xu, Chuandong Mu, Zhenbing Zeng, Zhi-bin Li
JVCIR
2010
177views more  JVCIR 2010»
15 years 5 months ago
Ripplet: A new transform for image processing
Efficient representation of images usually leads to improvements in storage efficiency, computational complexity and performance of image processing algorithms. Efficient represe...
Jun Xu, Lei Yang, Dapeng Wu
KBSE
2010
IEEE
15 years 5 months ago
An automated approach for finding variable-constant pairing bugs
Named constants are used heavily in operating systems code, both as internal flags and in interactions with devices. Decision making within an operating system thus critically de...
Julia L. Lawall, David Lo
KBSE
2010
IEEE
15 years 5 months ago
A visual interactive debugger based on symbolic execution
We present the concepts, usage, and prototypic implementation of a new kind of visual debugging tool based on symbolic execution of Java source code called visual symbolic state d...
Reiner Hähnle, Marcus Baum, Richard Bubel, Ma...
« Prev « First page 2964 / 3554 Last » Next »