Sciweavers

4242 search results - page 163 / 849
» For a science of group interaction
Sort
View
STACS
1997
Springer
15 years 10 months ago
Probabilistic Proof Systems - A Survey
Various types of probabilistic proof systems have played a central role in the development of computer science in the last decade. In this exposition, we concentrate on three such...
Oded Goldreich
IWINAC
2007
Springer
16 years 19 days ago
Social Interaction in Robotic Agents Emulating the Mirror Neuron Function
Emergent interactions that are expressed by the movements of two agents are discussed in this paper. The common coding principle is used to show how the mirror neuron system may fa...
Emilia I. Barakova
CLEF
2004
Springer
15 years 12 months ago
Interactive and Bilingual Question Answering Using Term Suggestion and Passage Retrieval
The Question Answering Task requires user interaction. Users can help the system by reformulating the questions, adding information to them or selecting the documents on which the ...
Carlos G. Figuerola, Ángel F. Zazo Rodr&iac...
CASC
2006
Springer
128views Mathematics» more  CASC 2006»
15 years 10 months ago
New Domains for Applied Quantifier Elimination
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
Thomas Sturm
AVI
2006
15 years 8 months ago
Methods for the evaluation of an interactive InfoVis tool supporting exploratory reasoning processes
Developing Information Visualization (InfoVis) techniques for complex knowledge domains makes it necessary to apply alternative methods of evaluation. In the evaluation of Gravi++...
Markus Rester, Margit Pohl