1576 search results - page 277 / 316 » Properties of Synthetic Optimization Problems |
SIGSOFT
2009
ACM
14 years 10 months ago
2009
ACM
A program is reentrant if distinct executions of that program on distinct inputs cannot affect each other. Reentrant programs have the desirable property that they can be deployed...
ISBI
2002
IEEE
14 years 10 months ago
2002
IEEE
There have been many efforts using image analysis algorithms to study cardiac kinematics, or using biomechanics strategies to study myocardial material properties. In this paper, ...
ISBI
2004
IEEE
14 years 10 months ago
2004
IEEE
Herein we present a quantitative noise analysis of diffraction enhanced imaging (DEI), an x-ray imaging method that produces absorption and refraction images, with inherent immuni...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. Verification by network invariants is a heuristic to solve uniform verification of parameterized systems. Given a system P, a network invariant for P is that abstracts th...
SIGMOD
2007
ACM
14 years 10 months ago
2007
ACM
In response to the widespread use of the XML format for document representation and message exchange, major database vendors support XML in terms of persistence, querying and inde...