655 search results - page 55 / 131 » Contrasting the Contrast Sets: An Alternative Approach |
CC
1998
Springer
14 years 3 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
COLT
1992
Springer
14 years 2 months ago
1992
Springer
We propose an algorithm called query by committee, in which a committee of students is trained on the same data set. The next query is chosen according to the principle of maximal...
IFIP
1992
Springer
14 years 2 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
APN
2000
Springer
14 years 2 months ago
2000
Springer
Many techniques for the verification of reactive systems rely on the analysis of their reachable state spaces. In this paper, a new algorithm for the symbolic generation of the sta...
AAAI
2007
14 years 1 months ago
2007
The reference reconciliation problem consists in deciding whether different identifiers refer to the same data, i.e., correspond to the same world entity. The L2R system exploits...