6434 search results - page 428 / 1287 » Model Transformations with Reference Models |
190
click to vote
CVPR
1999
IEEE
16 years 8 months ago
1999
IEEE
This paper presents a novel approach for detection and segmentation of generic shapes in cluttered images. The underlying assumption is that generic objects that are man made, fre...
185
click to vote
ICLP
2005
Springer
16 years 10 days ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...
212
click to vote
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
217
click to vote
SEMWEB
2009
Springer
15 years 11 months ago
2009
Springer
: Data Provenance refers to the “origin”, “lineage”, and “source” of data. In this work, we examine provenance from a semantics perspective and present the W7 model, an...
143
click to vote
FSTTCS
1990
Springer
15 years 11 months ago
1990
Springer
We show that selection on an input of size N can be performed on a P-node hypercube (P = N/(log N)) in time O(N/P) with high probability, provided each node can process all the in...