1898 search results - page 113 / 380 » About the art in this issue |
ECSCW
2001
13 years 10 months ago
2001
Computer based community support systems can provide powerful support in direct exchange of information and in finding people for information exchange Such applications usually mak...
UAI
2003
13 years 10 months ago
2003
We investigate the use of probabilistic models and cost-benefit analyses to guide the operation of a Web-based question-answering system. We first provide an overview of research ...
AAAI
1997
13 years 10 months ago
1997
In this paper, tabu search for SAT is investigated from an experimental point of view. To this end, TSAT, a basic tabu search algorithm for SAT, is introduced and compared with Se...
LOGCOM
2007
13 years 9 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...
IWC
2002
13 years 9 months ago
2002
The notion of trust has been virtually absent from most work on how people assess and choose their information sources. Based on two empirical cases this study shows that software ...