Sciweavers

3091 search results - page 139 / 619
» The Color Between Two Others
Sort
View
132
Voted
FOCS
2008
IEEE
15 years 4 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
144
Voted
IANDC
2007
117views more  IANDC 2007»
15 years 3 months ago
Computing the edit distance of a regular language
The edit distance (or Levenshtein distance) between two words is the smallest number of substitutions, insertions, and deletions of symbols that can be used to transform one of the...
Stavros Konstantinidis
137
Voted
CORR
2002
Springer
85views Education» more  CORR 2002»
15 years 3 months ago
The partition semantics of questions, syntactically
Groenendijk and Stokhof (1984, 1996; Groenendijk 1999) provide a logically attractive theory of the semantics of natural language questions, commonly referred to as the partition t...
Chung-chieh Shan, Balder ten Cate
113
Voted
CAI
1999
Springer
15 years 3 months ago
Context in Artificial Intelligence II. Key Elements of Contexts
: Context is the challenge for the coming years in Artificial Intelligence (AI). In the companion paper [6], we present a view of how context is considered through the literature i...
Patrick Brézillon
153
Voted
PUC
2007
102views more  PUC 2007»
15 years 3 months ago
Understanding movement for interaction design: frameworks and approaches
The results of a study of two computer games, that use human movement as direct input, were analysed using four existing frameworks and approaches, drawn from different disciplines...
Lian Loke, Astrid Twenebowa Larssen, Toni Robertso...