762 search results - page 97 / 153 » Conditionally correct superoptimization |
ICPR
2002
IEEE
14 years 11 months ago
2002
IEEE
In this paper the effectiveness of a corrective learning algorithm MIL (Mirror Image Learning) [1], [2] is comparatively studied with that of GLVQ (Generalized Learning Vector Qua...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
One of the key factors affecting functional MRI image reconstruction is field inhomogeneity. It is desirable to estimate both the distortion-free MRI image and field map simultane...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
Two central criteria for data quality are consistency and accuracy. Inconsistencies and errors in a database often emerge as violations of integrity constraints. Given a dirty dat...
SIGMOD
2004
ACM
14 years 10 months ago
2004
ACM
Massive-scale self-administered networks like Peer-to-Peer and Sensor Networks have data distributed across thousands of participant hosts. These networks are highly dynamic with ...
POPL
2010
ACM
14 years 7 months ago
2010
ACM
Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verifie...