21094 search results - page 4164 / 4219 » An experiment using DLV-K |
SIAMSC
2008
13 years 10 months ago
2008
In this paper we introduce and analyze two augmented mixed finite element methods for a velocity-pressure-stress formulation of the stationary Stokes equations. Our approach, which...
RAS
2006
13 years 10 months ago
2006
This paper proposes a mobile printer system (MPS) based on multi-robot cooperation. The system consists of multiple mobile robots, a wireless LAN system, a graphic user interface ...
SIGIR
2008
ACM
13 years 10 months ago
2008
ACM
We investigate to what extent people making relevance judgements for a reusable IR test collection are exchangeable. We consider three classes of judge: "gold standard" ...
SIGMETRICS
2008
ACM
13 years 10 months ago
2008
ACM
XACML has become the de facto standard for specifying access control policies for various applications, especially web services. With the explosive growth of web applications depl...
SIGOPS
2008
13 years 10 months ago
2008
Self-managing storage systems have recently received attention from the research community due to their promised ability of continuously adapting to best reflect high-level system...