1283 search results - page 166 / 257 » Object Initialization in X10 |
143
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We describe how CSP-OZ, an integrated formal method combining the process algebra CSP with the specification language Object-Z, can be linked to standard software engine...
119
click to vote
COCOON
2003
Springer
15 years 10 months ago
2003
Springer
In the popular computer game of Tetris, the player is given a sequence of tetromino pieces and must pack them into a rectangular gameboard initially occupied by a given configurat...
141
click to vote
CW
2002
IEEE
15 years 10 months ago
2002
IEEE
In Reverse Engineering a physical object is digitally reconstructed from a set of boundary points. In the segmentation phase these points are grouped into subsets to facilitate co...
149
Voted
ISBI
2002
IEEE
15 years 10 months ago
2002
IEEE
A two-step shape reconstruction method for diffuse optical tomography (DOT) is presented which uses adjoint fields and level sets. The propagation of near-infrared photons in tis...
123
click to vote
PG
2002
IEEE
15 years 10 months ago
2002
IEEE
Extracting isosurfaces from volumetric datasets is an essential step for indirect volume rendering algorithms. For physically measured data like it is used, e.g. in medical imagin...