Sciweavers

6391 search results - page 991 / 1279
» Agents in Groupware Systems
Sort
View
FLAIRS
2006
15 years 8 months ago
A Case-Based Approach to Explore Validation Experience
The success of TURING Test technologies for system validation depends on the quality of the human expertise behind the system. As an additional source of human experts' valid...
Rainer Knauf, Setsuo Tsuruta
CONCUR
2010
Springer
15 years 8 months ago
Theory by Process
Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Yuxi Fu
AAAI
1994
15 years 8 months ago
Automated Postediting of Documents
Large amounts of low- to medium-quality English texts are now being produced by machine translation (MT) systems, optical character readers (OCR), and non-native speakers of Engli...
Kevin Knight, Ishwar Chander
FM
2005
Springer
156views Formal Methods» more  FM 2005»
16 years 10 days ago
Testing Concurrent Object-Oriented Systems with Spec Explorer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson...
WWW
2008
ACM
16 years 7 months ago
Trust-based recommendation systems: an axiomatic approach
High-quality, personalized recommendations are a key feature in many online systems. Since these systems often have explicit knowledge of social network structures, the recommenda...
Reid Andersen, Christian Borgs, Jennifer T. Chayes...