145 search results - page 1 / 29 » External Uniqueness Is Unique Enough |
ECOOP
2003
Springer
13 years 10 months ago
2003
Springer
ICALP
2009
Springer
14 years 5 months ago
2009
Springer
We present the first uniquely represented data structure for an external memory model of computation, a B-tree analogue called a B-treap. Uniquely represented data structures repre...
DAGSTUHL
1993
13 years 6 months ago
1993
In this paper we present a type system for graph rewrite systems: uniqueness typing. It employs usage information to deduce whether an object is `unique' at a certain moment,...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
The management of operational risks, i.e., risks of loss resulting from inadequate or failed processes, people and systems or from external events, is crucial for the stability of...
CVPR
2011
IEEE
13 years 1 months ago
2011
IEEE
Specular flow is the motion field induced on the image plane by the movement of points reflected by a curved, mirror-like surface. This flow provides information about surface...