4036 search results - page 445 / 808 » Formal Methods |
182
click to vote
AUSAI
2010
Springer
15 years 5 months ago
2010
Springer
A general game player is a system that can play previously unknown games given nothing but their rules. A key to success in this endeavour is the ability to automatically gain know...
152
click to vote
JSC
2006
15 years 6 months ago
2006
In this paper we show that a large class of cut-elimination methods can be analyzed by clause terms representing sets of characteristic clauses extractable from the original proof...
158
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Hausdorff distance (HD) and its modifications provides one of the best approaches for matching of binary images. This paper proposes a formalism generalizing almost all of these H...
198
click to vote
TAICPART
2006
IEEE
16 years 23 days ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
154
click to vote
FMCAD
2004
Springer
16 years 4 days ago
2004
Springer
This paper describes a new method that is useful in combinational equivalence checking with very challenging industrial designs. The method does not build a miter; instead it build...