3385 search results - page 23 / 677 » Language, Logic, and the Brain |
ESOP
2008
Springer
13 years 9 months ago
2008
Springer
EACL
1989
ACL Anthology
13 years 8 months ago
1989
ACL Anthology
EMNLP
2011
12 years 7 months ago
2011
FASE
2001
Springer
14 years 5 days ago
2001
Springer
Abstract. This paper describes a specialised logic for proving specifications in the Java Modeling Language (JML). JML is an interface specification language for Java. It allows ...
WFLP
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Traditionally, machine learning algorithms such as decision tree learners have employed attribute-value representations. From the early 80's on people have started t...