3424 search results - page 580 / 685 » Automated Testing of Classes |
124
click to vote
ISSTA
1998
ACM
15 years 6 months ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
108
click to vote
SIGIR
1998
ACM
15 years 6 months ago
1998
ACM
Abstract Models of document indexing and document retrieval have been extensively studied. The integration of these two classes of models has been the goal of several researchers b...
110
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
108
click to vote
ICCAD
1996
IEEE
15 years 6 months ago
1996
IEEE
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an integrated algorithmic framework for SAT that unifies several previously proposed searchp...
134
click to vote
ECML
1997
Springer
15 years 6 months ago
1997
Springer
In learning from examples it is often useful to expand an attribute-vector representation by intermediate concepts. The usual advantage of such structuring of the learning problemi...