749 search results - page 8 / 150 » Combinatory Models and Symbolic Computation |
AMC
2006
13 years 10 months ago
2006
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Churc...
IJCAI
2007
13 years 11 months ago
2007
Compiling Bayesian networks (BNs) is one of the hot topics in the area of probabilistic modeling and processing. In this paper, we propose a new method of compiling BNs into multi...
DAC
1995
ACM
14 years 1 months ago
1995
ACM
IWFM
2003
13 years 11 months ago
2003
We outline a possible logic that will allow us to give a unified approach to reasoning about computational effects. The logic is given by extending Moggi’s computational λ-cal...
DAGSTUHL
2006
13 years 11 months ago
2006
We describe the challenge of combining continuous computer vision techniques and qualitative, symbolic methods to achieve a system capable of cognitive vision. Key to a truly cogni...