1620 search results - page 76 / 324 » Testing Polymorphic Properties |
VLDB
2004
ACM
15 years 8 months ago
2004
ACM
We present SVT, a tool for validating database schemas in SQL Server. This is done by means of testing desirable properties that a database schema should satisfy. To our knowledge...
140
Voted
ECCV
2006
Springer
16 years 4 months ago
2006
Springer
Image restoration is a keen problem of low level vision. In this paper, we propose a novel - assumption-free on the noise model - technique based on random walks for image enhancem...
120
Voted
ISBI
2006
IEEE
16 years 3 months ago
2006
IEEE
An elastographic reconstruction method has been developed to recover the material properties of soft tissue by modelbased analysis of image data acquired at different states of me...
94
Voted
IROS
2009
IEEE
15 years 9 months ago
2009
IEEE
— In this paper, the basic running performance of the cylindrical tracked vehicle with sideways mobility is presented. The crawler mechanism is of circular cross-section and has ...
114
click to vote
HYBRID
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. A methodology for safety verification using barrier certificates has been proposed recently. Conditions that must be satisfied by a barrier certificate can be formula...