Searching for "Ruled tracing." – sorted by Relevance.
183 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
