14056 search results - page 83 / 2812 » Consistency in Model Integration |
125
click to vote
HPCA
2009
IEEE
16 years 5 months ago
2009
IEEE
The verification of an execution against memory consistency is known to be NP-hard. This paper proposes a novel fast memory consistency verification method by identifying a new na...
130
click to vote
MICCAI
2004
Springer
2004
Springer
Border Detection on Short Axis Echocardiographic Views Using a Region Based Ellipse-Driven Framework
16 years 5 months ago
In this paper, we propose a robust technique that integrates spatial and temporal information for consistent recovery of the endocardium. To account for the low image quality we in...
239
click to vote
GIS
2005
ACM
16 years 5 months ago
2005
ACM
Several application contexts require the ability to use together and compare different geographic datasets (maps) concerning the same or overlapping areas. This is for example the...
146
click to vote
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Consistent query answering is the term commonly used for the problem of answering queries on databases that violate certain integrity constraints. We address this problem for univ...
142
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...