6059 search results - page 360 / 1212 » A Technique for Verifying Measurements |
173
click to vote
CAV
2007
Springer
16 years 1 months ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...
213
click to vote
TABLEAUX
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
176
click to vote
ICDM
2006
IEEE
16 years 28 days ago
2006
IEEE
The entity resolution (ER) problem, which identifies duplicate entities that refer to the same real world entity, is essential in many applications. In this paper, in particular,...
178
click to vote
KES
2005
Springer
16 years 11 days ago
2005
Springer
This paper presents an effective strategy to extract the buildings and to reconstruct 3-D buildings using high-resolution multispectral stereo satellite images. Proposed scheme con...
184
click to vote
VLDB
2005
ACM
16 years 10 days ago
2005
ACM
The interaction between recursion in XPATH and recursion in DTDs makes it challenging to answer XPATH queries on XML data that is stored in an RDBMS via schema-based shredding. We...