877 search results - page 82 / 176 » Structural Cut Elimination |
FOAL
2009
ACM
14 years 2 months ago
2009
ACM
We present a programming language model of the ideas behind Functional Adaptive Programming (AP-F) and our Java implementation, DemeterF. Computation in AP-F is encapsulated in se...
CSFW
2002
IEEE
14 years 21 days ago
2002
IEEE
We formalize aspects of the Kerberos 5 authentication protocol in the Multi-Set Rewriting formalism (MSR) on two levels of detail. The more detailed formalization reflects the in...
TABLEAUX
2009
Springer
14 years 8 days ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
CP
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Inspired by AND/OR search spaces for graphical models recently introduced, we propose to augment Ordered Decision Diagrams with AND nodes, in order to capture function de...
ICPR
2000
IEEE
13 years 11 months ago
2000
IEEE
In this paper, we describe a new design of a recognition system for a single image of indoor scene including complex occlusions. In our system, rst, the system estimates 3D struc...