Sciweavers

1050 search results - page 112 / 210
» Words, antibodies and their interactions
Sort
View
STOC
1995
ACM
108views Algorithms» more  STOC 1995»
15 years 10 months ago
A parallel repetition theorem
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
Ran Raz
CSE
2009
IEEE
15 years 9 months ago
Where Information Searches for You: The Visible Past Ubiquitous Knowledge Environment for Digital Humanities
— Visible Past proposes a new class of interdisciplinary learning, documenting, knowledge production, and discovery experiences that are anchored in space and time indicators. Th...
Sorin Adam Matei, Eric A. Wernert, Travis Faas
ASM
2008
ASM
15 years 8 months ago
Model Based Refinement and the Tools of Tomorrow
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
Richard Banach
ACII
2007
Springer
15 years 8 months ago
An Empathic Rational Dialog Agent
Recent research has shown that virtual agent able to express empathic emotions enhances human-machine interaction. In this paper, we present the capabilities that virtual agent sho...
Magalie Ochs, Catherine Pelachaud, David Sadek
COLCOM
2008
IEEE
15 years 8 months ago
SelectAudit: A Secure and Efficient Audit Framework for Networked Virtual Environments
Networked virtual environments (NVE) refer to the category of distributed applications that allow a large number of distributed users to interact with one or more central servers i...
Tuan Phan, Danfeng (Daphne) Yao