4738 search results - page 353 / 948 » Past, Present, and Future |
165
click to vote
FATES
2004
Springer
16 years 7 days ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
177
click to vote
GRID
2004
Springer
16 years 7 days ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...
145
click to vote
HUC
2004
Springer
16 years 7 days ago
2004
Springer
Ubiquitous computing promises to enable new classes of application. In this paper, we present research intended to accelerate the exploration of the space of possible application ...
198
click to vote
PRICAI
2004
Springer
16 years 6 days ago
2004
Springer
: In this paper we present our work on applying Belief Augmented Frames to the text classification problem. We formulate the problem in two alternative ways, and we evaluate the pe...
198
click to vote
PRICAI
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a prototype dialogue system, K2, in which a user can instruct agents through speech input to manipulate various objects in a 3-D virtual world. The agents’ ac...