290 search results - page 44 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
CVPR
2000
IEEE
15 years 23 days ago
2000
IEEE
This paper examines the problem of image retrieval from large, heterogeneous image databases. We present a technique that fulfills several needs identified by surveying recent res...
DEBU
2007
13 years 10 months ago
2007
An indexing model is the heart of an Information Retrieval (IR) system. Data structures such as term based inverted indices have proved to be very effective for IR using vector sp...
IUI
2009
ACM
14 years 7 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...
ICSM
2002
IEEE
14 years 3 months ago
2002
IEEE
The Object Relation Diagram (ORD) of a program is a class interdependence diagram which has applications in a wide variety of software engineering problems (e.g., integration test...
FASE
2006
Springer
14 years 2 months ago
2006
Springer
One of the major costs of software development is associated with testing and validation of successive versions of software systems. An important problem encountered in testing and...