2098 search results - page 115 / 420 » The Persistent Abstract Machine |
113
click to vote
ATAL
2009
Springer
16 years 28 days ago
2009
Springer
d Abstract) Koen Hindriks Man-Machine Interaction Group Delft University of Technology Mekelweg 4, Delft, The Netherlands
147
click to vote
MLDM
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. We describe an algorithm called TargetCluster for the discretization of continuous targets in subgroup discovery. The algorithm identifies patterns in the target data an...
163
click to vote
EUROGP
2007
Springer
16 years 15 days 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. ...
165
click to vote
ICALT
2006
IEEE
16 years 12 days ago
2006
IEEE
The application of software engineering approaches to generate learning material adapted to a specific instructional purpose presents some issues: of different models, different a...
136
click to vote
ICCBR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper, we propose an approach to attach semantic annotations to textual cases for their representation. To achieve this goal, a framework that combines machine le...