1938 search results - page 278 / 388 » On Positive Relational Calculi |
POLICY
2001
Springer
14 years 6 days ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
WADS
2001
Springer
14 years 6 days ago
2001
Springer
Methods for ranking World Wide Web resources according to their position in the link structure of the Web are receiving considerable attention, because they provide the first e...
ICPR
2000
IEEE
14 years 5 days ago
2000
IEEE
In this paper we describe a voxel-based 3-D reconstruction technique from multiple calibrated camera views that makes explicit use of the finite size footprint of a voxel when pr...
ICRA
2000
IEEE
14 years 5 days ago
2000
IEEE
This paper investigates controllability of underactuated rolling systems consisting of a smooth object rolling on a moving smooth surface. Our system consists of a spherical ball ...
ICRA
2000
IEEE
14 years 5 days ago
2000
IEEE
A practical algorithm for 3-D interpretation of images taken in a sewer by a robot-inspector is presented. Modern sewers made of concrete present regular circular structures origi...