2903 search results - page 448 / 581 » On the univalence of an integral operator |
188
click to vote
IFM
2004
Springer
16 years 14 days ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...
166
Voted
ISOLA
2004
Springer
16 years 14 days ago
2004
Springer
As safety critical systems increase in size and complexity, the need for efficient tools to verify their reliability grows. In this paper we present a tool that helps engineers des...
206
click to vote
KDD
2004
ACM
16 years 13 days ago
2004
ACM
Randomization is an economical and efficient approach for privacy preserving data mining (PPDM). In order to guarantee the performance of data mining and the protection of individ...
185
Voted
LSGRID
2004
Springer
16 years 13 days ago
2004
Springer
The rapid progress of biotechnology provides an increasing number of life science databases. These databases have been operated and managed individually on the Internet. Under such...
186
Voted
MABS
2004
Springer
16 years 13 days ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...