Searching for "Analogy Calculus." – sorted by Relevance.
33 documents found, showing 1 through 10.
Next 10 →
-
A Calculus for Interaction Nets
- … language, analogous to the -calculus. 1 Introduction Interaction nets, introduced by Lafont [12], offer a…
- Cited by 5 (4 self) – Add To MetaCart
-
Pattern inference theory: A probabilistic approach to vision
- … in which theories of inference can be described. Analogous to calculus having a minimum expressiveness…
- Cited by 5 (1 self) – Add To MetaCart
-
Evidence Algorithm and Sequent Logical Inference Search
- … of the calculus gS, enriched with formal analogs of the natural proof search techniques such as definition…
- Cited by 9 (3 self) – Add To MetaCart
-
Issues in the Conduct of PSSA
- … used inappropriately – there is no “calculus of DALs” which can be employed in a manner analogous…
- Add To MetaCart
-
CATEGORICAL LOGIC AND PROOF THEORY EPSRC INDIVIDUAL GRANT REPORT – GR/R95975/01
- … of this definition, it is possible to develop the calculus of generalised species of structures in close analogy…
- Add To MetaCart
-
Designing Effective Retrieval Engines for Multimedia Document Repositories
- … retrieval, we have developed a sound and complete Gentzen calculus [4], based on the analogous calculus…
- Cited by 1 (1 self) – Add To MetaCart
-
Parameter-Passing and the Lambda Calculus
- … fashion. Such theories are often referred to as calculi in analogy to the -calculus. In the following…
- Cited by 147 (20 self) – Add To MetaCart
-
"Words Lie in our Way"
- … need a theoretical construct that is the continuous analog of a calculus. The discussion…
- Cited by 11 (10 self) – Add To MetaCart
-
UNIVERSITY OF
- … minimizer for m(·) − ν(·) over Σ. Analogy with calculus suggests that, if A is suitably ‘interior…
- Add To MetaCart
-
On The Vassiliev Knot Invariants
- … is to discuss the following questions: 1 Having the analogy with calculus in mind, a better name would have…
- Cited by 50 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
