3335 search results - page 627 / 667 » Grid result checking |
104
click to vote
CADE
2005
Springer
16 years 4 days ago
2005
Springer
We describe an algorithm for deciding the first-order multisorted theory BAPA, which combines 1) Boolean algebras of sets of uninterpreted elements (BA) and 2) Presburger arithmeti...
OSDI
2008
ACM
16 years 3 days ago
2008
ACM
We present a new symbolic execution tool, KLEE, capable of automatically generating tests that achieve high coverage on a diverse set of complex and environmentally-intensive prog...
194
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
An approximate search query on a collection of strings finds those strings in the collection that are similar to a given query string, where similarity is defined using a given si...
180
click to vote
SIGMOD
2007
ACM
15 years 12 months ago
2007
ACM
Graphs are prevalently used to model the relationships between objects in various domains. With the increasing usage of graph databases, it has become more and more demanding to e...
123
click to vote
SIGMOD
2004
ACM
15 years 12 months ago
2004
ACM
Schema matching identifies elements of two given schemas that correspond to each other. Although there are many algorithms for schema matching, little has been written about build...