Searching for "Ruled tracing." – sorted by Relevance.
-
Ruled Tracing
- Ruled Tracing Gershon Elber y , Jung-Ju Choi z , and Myung-Soo Kim z y Department
- Add To MetaCart
-
Ruled Tracing
- Ruled Tracing Gershon Elber , Jung-Ju Choi + , and Myung-Soo Kim + * Department
- Cited by 2 (2 self) – Add To MetaCart
-
Rules for Trace Consistent Reasoning
- Rules for trace consistent reasoning R. Ramanujam The Institute of Mathematical Sciences C
- Add To MetaCart
-
Assessing Relevance with Extensionally Defined Principles and Cases
- , in classic work designed to make MYCIN's rule-tracing explanations more comprehensible, Clancey recommended
- Cited by 4 (4 self) – Add To MetaCart
-
An Exact Probability Metric for Decision Tree Splitting
- stopping rules are traced to coupling these biased approximations with one another or with arbitrary
- Cited by 27 (3 self) – Add To MetaCart
-
Lexicalizing the left periphery of German finite sentences
- rules, traces nor a feature inv(erted), and eliminates the Head-Filler-Schema for unbounded
- Cited by 10 (6 self) – Add To MetaCart
-
Complementizers and Finite Verbs in German Sentence Structure
- for the movement of finite verbs without lexical rules, traces or a feature inv(erted), and it eliminates the Head
- Cited by 1 (0 self) – Add To MetaCart
-
Handling some difficult problems in morpho-syntactic modeling of Korean using categorial grammar
- in extraction without the use of movement rules or trace. The advantage of using a combinatory categorial
- Add To MetaCart
-
Foundations for Circular Compositional Reasoning
- specications. For traces, we derive a new assume-guarantee rule for the \until" and \weakly until" properties
- Cited by 3 (0 self) – Add To MetaCart
-
Rule-Based Generation of Requirements Traceability Relations
- requirement-to-object-model rules to trace the requirements and use case specification documents
- Cited by 11 (1 self) – Add To MetaCart

