Sciweavers

387 search results - page 7 / 78
» A Hierarchy of Quantum Semantics
Sort
View
59
Voted
STOC
2005
ACM
76views Algorithms» more  STOC 2005»
15 years 10 months ago
Hierarchies for semantic classes
Lance Fortnow, Rahul Santhanam, Luca Trevisan
CVPR
2007
IEEE
15 years 11 months ago
Semantic Hierarchies for Visual Object Recognition
In this paper we propose to use lexical semantic networks to extend the state-of-the-art object recognition techniques. We use the semantics of image labels to integrate prior kno...
Marcin Marszalek, Cordelia Schmid
SYNTHESE
2011
177views more  SYNTHESE 2011»
14 years 4 months ago
Quantum logic as a dynamic logic
We address the old question whether a logical understanding of Quantum Mechanics requires abandoning some of the principles of classical logic. Against Putnam and others1 , our an...
Alexandru Baltag, Sonja Smets
TLCA
2005
Springer
15 years 3 months ago
A Lambda Calculus for Quantum Computation with Classical Control
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda calculus for the classical control model, following the firs...
Peter Selinger, Benoît Valiron
72
Voted
ENTCS
2008
97views more  ENTCS 2008»
14 years 9 months ago
POVMs and Naimark's Theorem Without Sums
duce an abstract notion of POVM within the categorical quantum mechanical semantics in terms act categories. Our definition is justified by two facts: i. we provide a purely graph...
Bob Coecke, Éric Oliver Paquette