5757 search results - page 161 / 1152 » Dynamic Policy Programming |
186
click to vote
SPIN
2009
Springer
16 years 24 days ago
2009
Springer
While symmetry reduction has been established to be an important technique for reducing the search space in model checking, its application in concurrent software verification is ...
142
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
Object-oriented programming techniques support construction of reusable and extensible code. However, class-based languages have poor support for implementing type-orthogonal beha...
146
click to vote
IWPC
2006
IEEE
16 years 9 days ago
2006
IEEE
Analysis of dynamic data structure usage is useful for both program understanding and for improving the accuracy of other program analyses. Static analysis techniques, however, su...
163
click to vote
ICRA
2007
IEEE
16 years 18 days ago
2007
IEEE
— This paper addresses the problem of generating optimal joint trajectories for redundant manipulators when multiple criteria are to be considered. A dynamic programming approach...
156
click to vote
BIRD
2007
Springer
16 years 14 days ago
2007
Springer
Comparison of 3-dimensional protein folds is a core problem in molecular biology. The Contact Map Overlap (CMO) scheme provides one of the most common measures for protein structur...