3384 search results - page 158 / 677 » More Testable Properties |
ATAL
2004
Springer
14 years 2 months ago
2004
Springer
Distributed multi-agent systems require naming services to locate and communicate with remote agents. In this paper we focus on the design and implementation of the “White Pages...
DALT
2004
Springer
14 years 2 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...
IEAAIE
2004
Springer
14 years 2 months ago
2004
Springer
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
We propose an algorithm to find a counterexample to some property in a finite state program. This algorithm is derived from SPIN’s one, but it finds a counterexample faster th...
VLDB
2004
ACM
14 years 2 months ago
2004
ACM
Before undertaking new biomedical research, identifying concepts that have already been patented is essential. Traditional keyword based search on patent databases may not be su...