2634 search results - page 76 / 527 » Argument based machine learning |
112
click to vote
EUROGP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Model checking is a way of analysing programs and programlike structures to decide whether they satisfy a list of temporal logic statements describing desired behaviour. ...
147
Voted
ECML
1993
Springer
15 years 6 months ago
1993
Springer
This paper describes a genetic learning system called SIA, which learns attributes based rules from a set of preclassified examples. Examples may be described with a variable numbe...
ICALT
2006
IEEE
15 years 8 months ago
2006
IEEE
Positioning in learning networks is a process that assists learners in finding a starting point and an efficient route in the network that will foster competence building. In orde...
129
Voted
EMNLP
2008
15 years 4 months ago
2008
Syntactic word reordering is essential for translations across different grammar structures between syntactically distant languagepairs. In this paper, we propose to embed local a...
105
Voted
TOOLS
2000
IEEE
15 years 7 months ago
2000
IEEE
— In Java, method implementations are chosen at runtime by late-binding with respect to the runtime class of just the receiver argument. However, in order to simplify many progra...