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 25 days 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 8 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