Sciweavers

1058 search results - page 202 / 212
» Coordinating Agents in OO
Sort
View
ICWL
2005
Springer
14 years 3 months ago
Grounding Collaborative Knowledge Building in Semantics-Based Critiquing
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
Anders I. Mørch, William K. Cheung, Kelvin ...
IFM
2004
Springer
104views Formal Methods» more  IFM 2004»
14 years 3 months ago
Linking CSP-OZ with UML and Java: A Case Study
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
Michael Möller, Ernst-Rüdiger Olderog, H...
WEBI
2004
Springer
14 years 3 months ago
Incentive-Compatible Social Choice
Many situations present a social choice problem where different self-interested agents have to agree on joint, coordinated decisions. For example, power companies have to agree o...
Boi Faltings
ICDCSW
2003
IEEE
14 years 2 months ago
MESH Mdl - A Middleware for Self-Organization in Ad Hoc Networks
— The maturing domain of ad hoc networking still holds some major challenges on its way to commercial exploitation. The dynamic and decentralized nature of ad hoc networks calls ...
Klaus Herrmann
ICMI
2003
Springer
110views Biometrics» more  ICMI 2003»
14 years 2 months ago
SmartKom: adaptive and flexible multimodal access to multiple applications
The development of an intelligent user interface that supports multimodal access to multiple applications is a challenging task. In this paper we present a generic multimodal inte...
Norbert Reithinger, Jan Alexandersson, Tilman Beck...