4211 search results - page 787 / 843 » A formal approach to MASQ |
PPOPP
2003
ACM
14 years 4 months ago
2003
ACM
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in ove...
SIGIR
2003
ACM
14 years 4 months ago
2003
ACM
Libraries have traditionally used manual image annotation for indexing and then later retrieving their image collections. However, manual image annotation is an expensive and labo...
SIGIR
2003
ACM
14 years 4 months ago
2003
ACM
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed....
AMKM
2003
Springer
14 years 4 months ago
2003
Springer
Abstract. In this paper, we outline the relation between Knowledge Management (KM) as an application area on the one hand, and software agents as a basic technology for supporting ...
SEMWEB
2001
Springer
14 years 3 months ago
2001
Springer
Metadata are widely used in order to fully exploit information resources available on corporate intranets or the Internet. The Resource Description Framework (RDF) aims at facilit...