5638 search results - page 97 / 1128 » On presence |
157
click to vote
ATMOS
2008
15 years 8 months ago
2008
Abstract. The search for train connections in state-of-the-art commercial timetable information systems is based on a static schedule. Unfortunately, public transportation systems ...
152
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
In recent years there have been several approaches for the automatic derivation of labels from an unlabeled reactive system. This can be done in such a way that the resulting bisim...
157
click to vote
BCS
2008
15 years 7 months ago
2008
Using formal verification for designing hardware designs free from logic design bugs has been an active area of research since the last 15 years. Technology has matured and we hav...
134
click to vote
ECIR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The Information Retrieval community uses a variety of performance measures to evaluate the effectiveness of scoring functions. In this paper, we show how to adapt six pop...
