2957 search results - page 181 / 592 » Processing Self Corrections |
DOCENG
2003
ACM
14 years 2 months ago
2003
ACM
We discuss how references and citations within a document to particular sources can be verified and guaranteed. When a document refers through a quotation to another document, th...
DEXAW
2004
IEEE
14 years 1 months ago
2004
IEEE
To achieve correct execution of peer-to-peer applications on non-reliable resources, we present a portable and distributed algorithm that provides fault tolerance and result checki...
AGP
1995
IEEE
14 years 27 days ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
FLAIRS
2003
13 years 10 months ago
2003
Medical data is unique due to its large volume, heterogeneity and complexity. This necessitates costly active participation of medical domain experts in the task of cleansing medi...
WSC
2001
13 years 10 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...