1724 search results - page 63 / 345 » Abstract Interpreters for Free |
131
click to vote
ICPR
2004
IEEE
16 years 6 months ago
2004
IEEE
The main goal of this paper is to show that pattern recognition techniques can be successfully used in abstract algebra. We introduce a pattern recognition system to recognize wor...
102
click to vote
OSS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Release management plays an important role in every software project since it is concerned with the delivery of a high quality product to end-users. This paper explores r...
153
Voted
TABLEAUX
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
122
click to vote
COGSCI
2008
15 years 5 months ago
2008
Examples from Archimedes, Galileo, Newton, Einstein, and others suggest that fundamental laws of physics were--or, at least, could have been--discovered by experiments performed n...
140
click to vote
CCA
2009
Springer
16 years 36 min ago
2009
Springer
Abstract. We prove the correctness of a formalised realisability interpretation of extensions of first-order theories by inductive and coinductive definitions in an untyped λ-ca...