2343 search results - page 154 / 469 » Structure and Interpretation of Computer Programs |
150
click to vote
ECEASST
2010
15 years 2 months ago
2010
Abstract. The precise specification of software models is a major concern in model-driven design of object-oriented software. In this paper, we investigate how program graphs, a la...
176
click to vote
ICPP
1991
IEEE
15 years 8 months ago
1991
IEEE
Data decomposition is probably the most successful method for generating parallel programs. In this paper a general framework is described for the automatic generation of parallel...
131
click to vote
ICDT
1997
ACM
15 years 9 months ago
1997
ACM
We develop a new schema for unstructured data. Traditional schemas resemble the type systems of programming languages. For unstructured data, however, the underlying type may be mu...
188
Voted
3DIM
2011
IEEE
14 years 5 months ago
2011
IEEE
—Image-based computation of a 3D map for an indoor environment is a very challenging task, but also a useful step for vision-based navigation and path planning for autonomous sys...
154
click to vote
ICCV
2011
IEEE
14 years 5 months ago
2011
IEEE
We propose a novel method for computing a geometrically consistent and spatially dense matching between two 3D shapes. Rather than mapping points to points we match infinitesimal...