236 search results - page 20 / 48 » Automated Generation of Interesting Theorems |
ROBOCUP
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. The automated generation of multimedia reports for timevarying scenes on the basis of visual data constitutes a challenging research goal with a high potential for many i...
ASE
2010
13 years 7 months ago
2010
Given a finite state machine M, a checking sequence is an input sequence that is guaranteed to lead to a failure if the implementation under test is faulty and has no more states t...
IJCNN
2006
IEEE
14 years 1 months ago
2006
IEEE
— Our paper presents a fully automated computational mechanism for targeting a space-variant retina based on the highlevel visual content of a scene. Our retina’s receptive fie...
KI
2009
Springer
14 years 1 months ago
2009
Springer
When mathematicians present proofs they usually adapt their explanations to their didactic goals and to the (assumed) knowledge of their addressees. Modern automated theorem prover...
MKM
2005
Springer
14 years 27 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...