314 search results - page 17 / 63 » On Tools for Analysis of Collaborative Problem Solving |
AGP
1999
IEEE
14 years 29 days ago
1999
IEEE
Disunification is the problem of deciding satisfiability of a system of equations and disequations with respect to a given equational theory. In this paper we study the disunifica...
CAV
2010
Springer
13 years 11 months ago
2010
Springer
Gist is a tool that (a) solves the qualitative analysis problem of turn-based probabilistic games with -regular objectives; and (b) synthesizes reasonable environment assumptions f...
SODA
1998
ACM
13 years 10 months ago
1998
ACM
We introduce a new set of probabilistic analysis tools based on the analysis of And-Or trees with random inputs. These tools provide a unifying, intuitive, and powerful framework ...
FCT
2007
Springer
14 years 2 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
CSCWD
2001
Springer
14 years 1 months ago
2001
Springer
A current research project at the University of Strathclyde is introduced which aims to better understand the role of distributed engineering design in industry and address presen...