Sciweavers

5314 search results - page 123 / 1063
» Hybrid Dynamic Programming
Sort
View
SIGPRO
2008
201views more  SIGPRO 2008»
13 years 10 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
FAC
2010
106views more  FAC 2010»
13 years 7 months ago
Automatic verification of Java programs with dynamic frames
Framing in the presence of data abstraction is a challenging and important problem in the verification of object-oriented programs [LLM07]. The dynamic frames approach is a promisi...
Jan Smans, Bart Jacobs, Frank Piessens, Wolfram Sc...
HVC
2005
Springer
112views Hardware» more  HVC 2005»
14 years 3 months ago
Dynamic Deadlock Analysis of Multi-threaded Programs
This paper presents a dynamic program analysis algorithm that can detect deadlock potentials in a multi-threaded program by examining a single execution trace, obtained by running ...
Saddek Bensalem, Klaus Havelund
FOCS
1991
IEEE
14 years 1 months ago
Dynamic Three-Dimensional Linear Programming
We perform linear programming optimizations on the intersection of k polyhedra in R3 , represented by their outer recursive decompositions, in expected time O(k log k log n + √ ...
David Eppstein
TSMC
2008
140views more  TSMC 2008»
13 years 10 months ago
Adaptive Feedback Control by Constrained Approximate Dynamic Programming
A constrained approximate dynamic programming (ADP) approach is presented for designing adaptive neural network (NN) controllers with closed-loop stability and performance guarante...
S. Ferrari, J. E. Steck, R. Chandramohan