6248 search results - page 295 / 1250 » Programming in a data factory |
186
click to vote
PVM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Today’s large finite element simulations require parallel algorithms to scale on clusters with thousands or tens of thousands of processor cores. We present data struc...
138
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
158
click to vote
WCRE
2007
IEEE
16 years 29 days ago
2007
IEEE
This paper presents an algorithm for reverse engineering semantically sound object-oriented data models from programs written in weakly-typed languages like Cobol. Our inference i...
169
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
A data tree is a tree where each node has a label from a finite set, and a data value from a possibly infinite set. We consider data trees whose depth is bounded beforehand. By d...
146
click to vote
MICCAI
2004
Springer
16 years 7 months ago
2004
Springer
We propose a semi-automatic endocardial border detection method for 3D+T cardiac ultrasound data based on pattern matching and dynamic programming, operating on 2D slices of the 3D...