Sciweavers

6102 search results - page 1042 / 1221
» Generating Optimizing Specializers
Sort
View
ICRA
2005
IEEE
111views Robotics» more  ICRA 2005»
15 years 11 months ago
Game Theoretic Control for Robot Teams
— In the real world, noisy sensors and limited communication make it difficult for robot teams to coordinate in tightly coupled tasks. Team members cannot simply apply single-ro...
Rosemary Emery-Montemerlo, Geoffrey J. Gordon, Jef...
IDEAS
2005
IEEE
137views Database» more  IDEAS 2005»
15 years 11 months ago
Order-Sensitive XML Query Processing over Relational Sources: An Algebraic Approach
The XML data is order-sensitive. The order problem, that is how ordered XML documents and order-sensitive queries over it can be efficiently supported when mapped into the unorde...
Ling Wang, Song Wang, Brian Murphy, Elke A. Runden...
ISPAN
2005
IEEE
15 years 11 months ago
An Efficient MPI-IO for Noncontiguous Data Access over InfiniBand
Noncontiguous data access is a very common access pattern in many scientific applications. Using POSIX I/O to access many pieces of noncontiguous data segments will generate a lot...
Ding-Yong Hong, Ching-Wen You, Yeh-Ching Chung
IV
2005
IEEE
134views Visualization» more  IV 2005»
15 years 11 months ago
Automatic Layout of Project Plans Using a Metro Map Metaphor
In this paper we describe a tool to improve interfunctional communication of project plans by displaying them as a metro map. Our tool automatically lays out plans using a multicr...
Jonathan M. Stott, Peter Rodgers, Remo Aslak Burkh...
SP
2005
IEEE
149views Security Privacy» more  SP 2005»
15 years 11 months ago
Distributed Proving in Access-Control Systems
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
Lujo Bauer, Scott Garriss, Michael K. Reiter
« Prev « First page 1042 / 1221 Last » Next »