7049 search results - page 40 / 1410 » Data Abstraction for CSP-OZ |
IMAMS
2003
13 years 11 months ago
2003
Abstract. We apply new methods based on Partial Differential Equations techniques (polysplines) to the visualization of the heart surface.
ANOR
2010
13 years 7 months ago
2010
Abstract. Suppose given a network endowed with a multiflow. We want to estimate some quantities connected with this multiflow, for instance the value of an s
CIDR
2003
13 years 11 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
APLAS
2010
ACM
13 years 10 months ago
2010
ACM
We consider the problem of specifying data structures with complex sharing in a manner that is both declarative and results in provably correct code. In our approach, abstract data...
ICPP
1993
IEEE
14 years 2 months ago
1993
IEEE
Abstract Data-parallel algorithms for R-trees, a common spatial data structure are presented, in the domain of planar line segment data e.g., Bureau of the Census TIGER Line les ....