290 search results - page 44 / 58 » Using a Software Testing Technique to Improve Theorem Provin... |
121
Voted
CVPR
2000
IEEE
16 years 5 months 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...
140
click to vote
DEBU
2007
15 years 3 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...
153
Voted
IUI
2009
ACM
16 years 7 days 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...
115
Voted
ICSM
2002
IEEE
15 years 8 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...
145
Voted
FASE
2006
Springer
15 years 7 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...