38890 search results - page 91 / 7778 » Will It Work |
135
click to vote
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Placing our result in a web of related mechanised results, we give a direct proof that the de Bruijn λ-calculus (`a la Huet, Nipkow and Shankar) is isomorphic to an α-quotiented ...
135
click to vote
BIRTHDAY
2007
Springer
15 years 11 months ago
2007
Springer
Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a ...
130
click to vote
CIA
2007
Springer
15 years 10 months ago
2007
Springer
Coalitions are often required for multi-agent collaboration. In this research, we consider tasks that can only be completed with the combined efforts of multiple agents using appro...
133
click to vote
CIVR
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe the demonstration system in which a wooden 3D puzzle is assembled using an augmented reality system. The 3D puzzle describes a simplified assembly task ...