Sciweavers

6432 search results - page 224 / 1287
» Classic Mechanism Design
Sort
View
TASLP
2008
75views more  TASLP 2008»
15 years 5 months ago
Efficient Index-Based Audio Matching
Given a large audio database of music recordings, the goal of classical audio identification is to identify a particular audio recording by means of a short audio fragment. Even th...
Frank Kurth, Meinard Müller
CORR
2004
Springer
166views Education» more  CORR 2004»
15 years 5 months ago
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
Full formal descriptions of algorithms making use of quantum principles must take into account both quantum and classical computing components and assemble them so that they commu...
Marie Lalire, Philippe Jorrand
SYNTHESE
2011
177views more  SYNTHESE 2011»
15 years 19 days 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

Publication
651views
17 years 4 months ago
On Optimal Linear Redistribution of VCG Payments in Assignment of Heterogeneous Objects
There are p heterogeneous objects to be assigned to n competing agents (n > p) each with unit demand. It is required to design a Groves mechanism for this assignment problem s...
Sujit Gujar, Y Narahari
NOSSDAV
1995
Springer
15 years 9 months ago
A Distributed Real-Time MPEG Video Audio Player
Abstract. This paper presents the design, implementation and experimental analysis of a distributed, real-time MPEG video and audio player. The player is designed for use across th...
Shanwei Cen, Calton Pu, Richard Staehli, Crispin C...