1192 search results - page 17 / 239 » Symbolic Query Exploration |
109
click to vote
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Object-oriented unit tests consist of sequences of method invocations. Behavior of an invocation depends on the method’s arguments and the state of the receiver at the beginning ...
ICPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Visual exploration systems enable users to search, browse, and explore voluminous multimedia databases in an interactive and playful manner. Whether users know the database's ...
102
click to vote
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
Typically, users interact with database systems by formulating queries. However, many times users do not have a clear understanding of their information needs or the exact content...
SPIESR
1996
15 years 1 months ago
1996
Two approaches for integrating images into the framework of a database management system are presented. The classi cation approach preprocesses all images and attaches a semantic ...