1917 search results - page 93 / 384 » The York Abstract Machine |
MLDM
2009
Springer
15 years 6 months 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...
EUROGP
2007
Springer
15 years 6 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. ...
ICALT
2006
IEEE
15 years 6 months 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...
ICCBR
2005
Springer
15 years 5 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...
COLT
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...