6274 search results - page 1098 / 1255 » Proofs, Programs, Processes |
SRDS
2003
IEEE
14 years 4 months ago
2003
IEEE
Many mathematical models have been proposed to evaluate the execution performance of an application with and without checkpointing in the presence of failures. They assume that th...
VISUALIZATION
2003
IEEE
14 years 4 months ago
2003
IEEE
Segmentation of structures from measured volume data, such as anatomy in medical imaging, is a challenging data-dependent task. In this paper, we present a segmentation method tha...
WECWIS
2003
IEEE
14 years 4 months ago
2003
IEEE
Converting a conventional contract into an electronic equivalent that can be executed and enforced by computers is a challenging task. The difficulties are caused by the ambiguiti...
ELPUB
2003
ACM
14 years 4 months ago
2003
ACM
Omnipaper (Smart Access to European Newspapers, IST-2001-32174) is a project from the European Commission IST program (Information Society Technologies) that investigates and prop...
SIGCSE
2003
ACM
14 years 4 months ago
2003
ACM
Computer graphics forms an important part of a working scientist’s tools. This may be provided by resources with the scientist’s group or by capabilities of the toolkits that ...