3571 search results - page 253 / 715 » On the Power of Imperfect Information |
168
click to vote
APVIS
2004
15 years 8 months ago
2004
The development of powerful visualisation tools is a major challenge in bioinformatics. Phylogenetics, a field with a growing impact on a variety of life science areas, is experie...
166
click to vote
AVI
2004
15 years 8 months ago
2004
Although the power of personal computers has increased 1000-fold over the past 20 years, user interfaces remain essentially the same. Innovations in HCI research, particularly nov...
160
click to vote
EFDBS
2003
15 years 8 months ago
2003
Mediators are considered basic architectural units for integration of distributed, heterogeneous information resources. In the paper we propose powerful virtual updateable views as...
184
click to vote
IC
2003
15 years 8 months ago
2003
The Internet makes it possible to share information (e.g. text, image, audio, video and other formats of data) across the globe. In this paper we look at collaborative Internet en...
153
click to vote
IWFM
1998
15 years 8 months ago
1998
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...