Sciweavers

1090 search results - page 82 / 218
» The Equivalence between Biology and Computation
Sort
View
122
Voted
BMVC
2002
15 years 3 months ago
The Geometry of Dynamic Scenes - On Coplanar and Convergent Linear Motions Embedded in 3D Static Scenes
In this paper, we consider structure and motion recovery for scenes consisting of static and dynamic features. More particularly, we consider a single moving uncalibrated camera o...
Adrien Bartoli
113
Voted
FOCS
2008
IEEE
15 years 1 months ago
Quantum Multi Prover Interactive Proofs with Communicating Provers
We introduce another variant of Quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are u...
Michael Ben-Or, Avinatan Hassidim, Haran Pilpel
JSW
2006
111views more  JSW 2006»
15 years 21 days ago
AppBus: Mobile Device Application Collaboration via Short Term Memory
The increasing quality of computation and connectivity on mobile devices has motivated a need for data-sharing between resident services. Most such services rely on the user to tra...
Craig Janssen, Michael Pearce, Shriram Kollipara, ...
124
Voted
CORR
2011
Springer
207views Education» more  CORR 2011»
14 years 7 months ago
DB Category: Denotational Semantics for View-based Database Mappings
Abstract. We present a categorical denotational semantics for a database mapping, based on views, in the most general framework of a database integration/exchange. Developed databa...
Zoran Majkic
141
Voted
ACL
2011
14 years 4 months ago
Gappy Phrasal Alignment By Agreement
We propose a principled and efficient phraseto-phrase alignment model, useful in machine translation as well as other related natural language processing problems. In a hidden se...
Mohit Bansal, Chris Quirk, Robert C. Moore