Searching for authors named "Kaustuv Chaudhuri" – sorted by Relevance.
17 documents found, showing 1 through 10.
Next 10 →
-
The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment)
- …The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment) Kaustuv Chaudhuri…
- Cited by 1 (1 self) – Add To MetaCart
-
Theorem Proving with the Inverse Method for Linear Logic
- …Theorem Proving with the Inverse Method for Linear Logic Kaustuv Chaudhuri Carnegie Mellon…
- Add To MetaCart
-
Machine Learning (15-781) Project Final Report
- …1 Background Machine Learning (15-781) Project Final Report James Bruce Kaustuv Chaudhuri jbruce…
- Add To MetaCart
-
Automatic Thresholding for Realtime Color Vision
- … Chaudhuri (kaustuv+@(email omitted);) Machine Learning: Intermediate Project Report November 9, 2000…
- Cited by 1 (0 self) – Add To MetaCart
-
A focusing inverse method theorem prover for first-order linear logic
- … A Focusing Inverse Method Theorem Prover forFirst-Order Linear Logic Kaustuv Chaudhuri and Frank…
- Cited by 5 (3 self) – Add To MetaCart
-
Stochastic Reasoning in Hybrid Linear Logic
- …Stochastic Reasoning in Hybrid Linear Logic Kaustuv Chaudhuri MSR-INRIA kaustuv.chaudhuri…
- Add To MetaCart
-
4. Fixing an unfortunate interchange of “all ” and “some
- …Stochastic Reasoning in Hybrid Linear Logic Kaustuv Chaudhuri and Joëlle } Despeyroux, INRIA…
- Add To MetaCart
-
Focusing the inverse method for linear logic
- …The Focused Inverse Method for Linear Logic Thesis committee Kaustuv Chaudhuri � Draft of October…
- Cited by 17 (6 self) – Add To MetaCart
-
Resource Management for the Inverse Method in Linear Logic
- …Resource Management for the Inverse Method in Linear Logic # Kaustuv Chaudhuri and Frank Pfenning…
- Cited by 1 (0 self) – Add To MetaCart
-
Contents 1 Intuitionistic Linear Logic 2
- …The Focused Inverse Method for Linear Logic Thesis committee Kaustuv Chaudhuri � Draft of October…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
