Sciweavers

4242 search results - page 107 / 849
» For a science of group interaction
Sort
View
FOCS
2000
IEEE
15 years 10 months ago
Succinct quantum proofs for properties of finite groups
In this paper we consider a quantum computational variant of nondeterminism based on the notion of a quantum proof, which is a quantum state that plays a role similar to a certifi...
John Watrous
JASIS
1998
80views more  JASIS 1998»
15 years 6 months ago
A Distributed Representation Approach to Group Problem Solving
This article develops a theoretical framework of distributed representations to explore the representational properties in group problem solving. The basic principle of distribute...
Jiajie Zhang
FOCS
2009
IEEE
16 years 1 months ago
Two-Message Quantum Interactive Proofs Are in PSPACE
We prove that QIP(2), the class of problems having two-message quantum interactive proof systems, is a subset of PSPACE. This relationship is obtained by means of an efficient pa...
Rahul Jain, Sarvagya Upadhyay, John Watrous
ICMCS
2008
IEEE
439views Multimedia» more  ICMCS 2008»
16 years 1 months ago
Framework for virtual collaboration emphasized by awareness information and asynchronous interaction
In this paper, we propose a framework which allows remote users to form conversation groups based on spatial relationship in a shared virtual space. Our proposed framework can tra...
Tomo Matsuda, Naoki Shibata, Keiichi Yasumoto, Min...
FLAIRS
2008
15 years 9 months ago
Concept of an Interactive Web Portal for Teaching Prolog
The paper presents observations concerning teaching Prolog to computer science students. Basing on these experiences an interactive web-portal is proposed to support teaching. Som...
Grzegorz J. Nalepa, Igor Wojnicki