Searching for "Tree Correspondence Problems." – sorted by Relevance.
-
A search-infer-and-relax framework for integrating solution methods
- case of constraint-directed search. The leaf nodes of the branching tree correspond to problem
- Cited by 5 (1 self) – Add To MetaCart
-
Guiding planner backjumping using verifier traces
- tree corresponding to the controller synthesis problem in Figure 2 ner has also permitted a
- Cited by 1 (1 self) – Add To MetaCart
-
Appears in Working Notes of the 2nd Workshop on Real-Time Tools
- tree corresponding to the controller synthesis problem in Fig. 2 that will take it to state 2
- Add To MetaCart
-
Towards an Intelligent Failure Handling Mechanisms in Program Supervision
- tree corresponding to this problem. This kind of image processing is rather complex and there is a real
- Cited by 1 (1 self) – Add To MetaCart
-
Memoisation of Categorial Proof Nets: Parallelism in Categorial Processing
- nets are to this problem what parse trees are to the corresponding problem in context free grammar
- Cited by 16 (2 self) – Add To MetaCart

