4469 search results - page 450 / 894 » Dynamic Program Slicing |
332
click to vote
POPL
2005
ACM
16 years 8 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...
266
click to vote
JDCTA
2010
15 years 2 months ago
2010
To solve the cruise two-dimensional revenue management problem and develop such an automated system under uncertain environment, a static model which is a stochastic integer progr...
199
click to vote
ICIP
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we present an application of stable marriages algorithms, applied to level-line junctions, for obstacle detection. The method is implemented on our PiCar stereovisi...
214
click to vote
LSSC
2007
Springer
16 years 1 months ago
2007
Springer
We present a general framework for analysis and design of optimization based numerical feedback stabilization schemes utilizing ideas from relaxed dynamic programming. The applicat...
195
click to vote
ACII
2005
Springer
16 years 1 months ago
2005
Springer
In this paper a novel multi-stroke sketch recognition method is presented. This method integrates the stroke segmentation and sketch recognition into a single approach, in which bo...