749 search results - page 8 / 150 » Combinatory Models and Symbolic Computation |
102
click to vote
AMC
2006
14 years 11 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
15 years 1 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
15 years 3 months ago
1995
ACM
IWFM
2003
15 years 1 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...
218
click to vote
DAGSTUHL
2006
15 years 1 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...