8766 search results - page 823 / 1754 » Functional logic programming |
217
click to vote
ISMAR
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper presents a new user interface methodology for Spatial Augmented Reality systems. The methodology is based on a set of physical tools that are overloaded with logical fu...
187
Voted
TPHOL
2005
IEEE
16 years 1 months ago
2005
IEEE
The quotient operation is a standard feature of set theory, where a set is partitioned into subsets by an equivalence relation. We reinterpret this idea for higher order logic, whe...
215
click to vote
DIAGRAMS
2004
Springer
16 years 26 days ago
2004
Springer
An important aim of diagrammatic reasoning is to make it easier for people to create and understand logical arguments. We have worked on spider diagrams, which visually express log...
180
click to vote
TPHOL
2003
IEEE
16 years 22 days ago
2003
IEEE
Abstract. We show that certain input-output relations, termed inductive invariants are of central importance for termination proofs of algorithms defined by nested recursion. Indu...
185
click to vote
ISMVL
2010
IEEE
16 years 17 days ago
2010
IEEE
— In this paper we review the Billiard Ball Model (BBM) introduced by Toffoli and Fredkin. The analysis of a previous approach to design reversible networks based on BBM it shown...