157 search results - page 15 / 32 » Incremental Compilation-to-SAT Procedures |
MICCAI
2004
Springer
15 years 10 months ago
2004
Springer
We have developed a new approach for preoperative selection of points from a surface model for rigid shape-based registration. This approach is based on an extension of our earlier...
WOLLIC
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper, we present a three-valued property driven model checking algorithm for the logic CTL on hybrid automata. The technique of multivalued model checking for hy...
IMSCCS
2006
IEEE
15 years 3 months ago
2006
IEEE
Agreement-based resource management is becoming the foundation of grid system. Since the grid resource management encompasses a wide range of different scenarios, the decision mak...
ROBIO
2006
IEEE
15 years 3 months ago
2006
IEEE
— Many approaches to robotic grasping have focused on a specific aspect of the problem only, without considering its integrability with other related procedures in order to buil...
102
click to vote
AISC
2004
Springer
15 years 3 months ago
2004
Springer
ion Within Partial Deduction for Linear Logic . . . . . . . . . . . . . . . . . 52 P. K¨ungas A Decision Procedure for Equality Logic with Uninterpreted Functions . . . 66 O. Tver...