3511 search results - page 155 / 703 » Evaluation Methods for Groupware Systems |
ACL
2012
11 years 10 months ago
2012
In this paper, we present a new method for learning to finding translations and transliterations on the Web for a given term. The approach involves using a small set of terms and ...
NFM
2011
13 years 3 months ago
2011
Abstract. Event-B is a formal method for modeling and verifying consistency of systems. In formal methods such as Event-B, refinement is the process of enriching or modifying an a...
CAEPIA
2003
Springer
14 years 13 hour ago
2003
Springer
CBR systems are normally used to assist experts in the resolution of problems. During the last few years, researchers have been working in the development of techniques to automate...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
In a hybrid peer-to-peer (P2P) system, flooding and DHT are both employed for content locating. The decision to use flooding or DHT largely depends on the population of desired da...
IWC
2007
13 years 8 months ago
2007
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...