Sciweavers

505 search results - page 40 / 101
» Implementation of Belief Change Operators Using BDDs
Sort
View
61
Voted
SOSP
2001
ACM
15 years 6 months ago
Information and Control in Gray-Box Systems
In modern systems, developers are often unable to modify the underlying operating system. To build services in such an environment, we advocate the use of gray-box techniques. Whe...
Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau
106
Voted
AGENTS
2001
Springer
15 years 2 months ago
An assistive robotic agent for pedestrian mobility
The goal of this project is to develop a pedestrian mobility aid for the elderly. In order for this type of assistive technology to be useful and accepted by its intended user com...
Glenn S. Wasson, James P. Gunderson, Sean Graves, ...
DAGSTUHL
2007
14 years 11 months ago
Logical Particle Filtering
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
Luke S. Zettlemoyer, Hanna M. Pasula, Leslie Pack ...
SC
2000
ACM
15 years 2 months ago
Automatically Tuned Collective Communications
The performance of the MPI’s collective communications is critical in most MPI-based applications. A general algorithm for a given collective communication operation may not giv...
Sathish S. Vadhiyar, Graham E. Fagg, Jack Dongarra
CAISE
2004
Springer
15 years 3 months ago
Objects Meet Relations: On the Transparent Management of Persistent Objects
Many information systems store their objects in a relational database. If the object schema or the relational schema of an application can change often or in an independent way, it...
Luca Cabibbo