Sciweavers

1291 search results - page 38 / 259
» Arithmetic program paths
Sort
View
MVA
1998
230views Computer Vision» more  MVA 1998»
13 years 9 months ago
An Efficient Matching Algorithm for Segment-Based Stereo Vision Using Dynamic Programming Technique
An efficient matching method for segment-based stereo vision is proposed. A potential matching graph which describes the connectivity between candidate matching pairs of segments ...
Toshio Ueshiba, Yoshihiro Kawai, Yasushi Sumi, Fum...
PADL
2005
Springer
14 years 1 months ago
Safe Programming with Pointers Through Stateful Views
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
Dengping Zhu, Hongwei Xi
SIGPRO
2008
201views more  SIGPRO 2008»
13 years 8 months ago
Multichannel blind seismic deconvolution using dynamic programming
In this paper, we present an algorithm for multichannel blind deconvolution of seismic signals, which exploits lateral continuity of earth layers by dynamic programming approach. ...
Alon Heimer, Israel Cohen
TAPIA
2003
ACM
14 years 1 months ago
A new infeasible interior-point algorithm for linear programming
In this paper we present an infeasible path-following interiorpoint algorithm for solving linear programs using a relaxed notion of the central path, called quasicentral path, as ...
Miguel Argáez, Leticia Velázquez
IJCAI
2007
13 years 10 months ago
A Machine Learning Approach for Statistical Software Testing
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
Nicolas Baskiotis, Michèle Sebag, Marie-Cla...