1817 search results - page 18 / 364 » Forcing and Type Theory |
ICDAR
2003
IEEE
14 years 21 days ago
2003
IEEE
The Dempster-Shafer Theory of Evidence is an established method for combining different sources of information. In this paper we explore ways to improve the combination performanc...
HASKELL
2005
ACM
14 years 29 days ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
nvenient way of pattern-matching against abstract data types. Publications: Dissertation
ICRA
2009
IEEE
14 years 2 months ago
2009
IEEE
— Unlike active force closure, which is a property for the multi-finger robotic hand grasping, passive force closure are involved in the grasping systems with constraining devic...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...