2421 search results - page 275 / 485 » Message from the Co-Chairs |
116
click to vote
CLUSTER
2002
IEEE
15 years 17 days ago
2002
IEEE
High-performance computing faces considerable change as the Internet and the Grid mature. Applications that once were tightly-coupled and monolithic are now decentralized, with co...
79
Voted
ENTCS
2002
15 years 16 days ago
2002
In this work we present Zeus, a Distributed Model-Checker that evolves from the tool Kronos [8] and that currently can handle backwards computation of TCTLreachability properties ...
116
Voted
JAIR
2000
15 years 16 days ago
2000
This paper describes a novel method by which a spoken dialogue system can learn to choose an optimal dialogue strategy from its experience interacting with human users. The method...
110
Voted
PUC
2000
15 years 15 days ago
2000
In this paper we introduce a novel approach to share context to enhance the social quality of remote mobile communication. We provide an analysis of how people start a conversation...
125
Voted
CONCURRENCY
1998
15 years 13 days ago
1998
The JPVM library is a software system for explicit message-passing based distributed memory MIMD parallel programming in Java. The library supports an interface similar to the C a...