5314 search results - page 234 / 1063 » Hybrid Dynamic Programming |
188
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...
161
click to vote
BIRTHDAY
2009
Springer
16 years 1 months ago
2009
Springer
We present a new hybrid BDD and SAT-based algorithm for model checking. Our algorithm is based on backward search, where each pre-image computation consists of an efficient All-SA...
199
click to vote
SMA
2008
ACM
15 years 6 months ago
2008
ACM
This paper presents a computational method for converting a tetrahedral mesh to a prism-tetrahedral hybrid mesh for improved solution accuracy and computational efficiency of fini...
168
click to vote
JSAC
2010
15 years 4 months ago
2010
—Bandwidth demands and timing constraints are two major challenges for wireless video streaming applications. In this paper, we present a hybrid spatial/temporal retransmission p...
148
click to vote
ICIP
1999
IEEE
16 years 8 months ago
1999
IEEE
The Median-Rational Hybrid Filter (MRHF) has been recently introduced [1][2] as a new class of nonlinear filters and successfully applied to image filtering problems. The main cha...