3228 search results - page 64 / 646 » Computationally Sound Proofs |
152
click to vote
ENTCS
2007
15 years 6 months ago
2007
We develop a sound and complete equational theory for the functional quantum programming language QML. The soundness and completeness of the theory are with respect to the previou...
274
click to vote
POPL
2008
ACM
16 years 6 months ago
2008
ACM
We propose a novel approach to proving the termination of heapmanipulating programs, which combines separation logic with cyclic proof within a Hoare-style proof system. Judgement...
175
Voted
OZCHI
2006
ACM
16 years 1 days ago
2006
ACM
Augmented Reality (AR), the overlay of virtual images onto the real world, is an increasingly popular technique for developing new human-computer interfaces. As human navigation a...
158
Voted
ACMACE
2004
ACM
15 years 11 months ago
2004
ACM
The Intelligent Street is a music installation that is able to respond intelligently to the collective requests of users interacting together. The performance it creates is largel...
171
click to vote
ICCV
2001
IEEE
16 years 8 months ago
2001
IEEE
Video telephony could be considerably enhanced by provision of a tracking system that allows freedom of movement to the speaker, while maintaining a well-framed image, for transmi...