2421 search results - page 401 / 485 » Message from the Editor-in-Chief |
CLUSTER
2002
IEEE
13 years 8 months 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...
ENTCS
2002
13 years 8 months 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 ...
JAIR
2000
13 years 8 months 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...
PUC
2000
13 years 8 months 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...
CONCURRENCY
1998
13 years 8 months 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...