Sciweavers

7209 search results - page 517 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
IUI
2000
ACM
15 years 8 months ago
Virtual reviewers for collaborative exploration of movie reviews
We propose a collaborative exploration system that helps users to explore recommendations from various viewpoints. Given ratings and reviews on movies from reviewers, the system p...
Jun'ichi Tatemura
WOSP
2000
ACM
15 years 8 months ago
Analytic model of Web servers in distributed environments
In this paper, we illustrate a model-based approach to Web server performance evaluation, and present an analytic queueing model of Web servers in distributed environments. Perfor...
Paul Reeser, Rema Hariharan
WADT
1998
Springer
15 years 8 months ago
Parallel Admissible Graph Rewriting
We investigate the rewrite relation over graphs induced by constructor-based weakly orthogonal graph rewriting systems. It is well known that this relation is not confluent in gene...
Rachid Echahed, Jean-Christophe Janodet
FSTTCS
1993
Springer
15 years 8 months ago
Higher-Order and Semantic Unification
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
Nachum Dershowitz, Subrata Mitra
AUIC
2004
IEEE
15 years 8 months ago
'Powerpoint to the People': Suiting the Word to the Audience
A computerised system supporting public presentations that are "personalised" at two levels is now possible. Firstly, the system exploits context information to adapt th...
René Hexel, Chris Johnson, Bob Kummerfeld, ...