2514 search results - page 401 / 503 » The use of industrial-strength formal methods |
176
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
— Real-world databases often have extremely complex schemas. With thousands of entity types and relationships, each with a hundred or so attributes, it is extremely difficult fo...
222
click to vote
SDM
2012
SIAM
13 years 8 months ago
2012
SIAM
Objects linking with many other objects in an information network may imply various semantic relationships. Uncovering such knowledge is essential for role discovery, data cleanin...
157
click to vote
EMSOFT
2007
Springer
16 years 15 days ago
2007
Springer
This paper describes techniques to estimate the worst case execution time of executable code on architectures with data caches. The underlying mechanism is Abstract Interpretation...
173
click to vote
CVPR
2005
IEEE
16 years 8 months ago
2005
IEEE
: In many computer vision classification problems, both the error and time characterizes the quality of a decision. We show that such problems can be formalized in the framework of...
291
click to vote
ICDE
2003
IEEE
16 years 7 months ago
2003
IEEE
Intuitively, data management and data integration tools should be well-suited for exchanging information in a semantically meaningful way. Unfortunately, they suffer from two sign...