297 search results - page 30 / 60 » An Algebra for Directed Bigraphs |
PLDI
1997
ACM
13 years 12 months ago
1997
ACM
We present a simple and novel framework for generating blocked codes for high-performance machines with a memory hierarchy. Unlike traditional compiler techniques like tiling, whi...
DAGSTUHL
2006
13 years 9 months ago
2006
Partially ordered sets, causets, partially ordered spaces and their local counterparts are now often used to model systems in computer science and theoretical physics. The order mo...
AUTOMATICA
2005
13 years 7 months ago
2005
In this paper, by introducing the concept of command-to-state/output mapping, it is shown that the state of an uncertain nonlinear system can robustly be estimated if command-to-s...
ICCV
1999
IEEE
14 years 9 months ago
1999
IEEE
We describe two direct quasilinear methods for camera pose (absolute orientation) and calibration from a single image of 4 or 5 known 3D points. They generalize the 6 point `Direc...
CPM
2006
Springer
13 years 11 months ago
2006
Springer
We consider the problem of tiling a segment {0, . . . , n} of the discrete line. More precisely, we ought to characterize the structure of the patterns that tile a segment and thei...