4930 search results - page 215 / 986 » Learning minimal abstractions |
146
click to vote
MKM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Matita is a proof assistant characterised by a rich, user extensible, output facility based on a widget for the rendering of MathML Presentation, and by the automatic han...
152
click to vote
MLDM
2009
Springer
16 years 1 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...
169
click to vote
EUROGP
2007
Springer
16 years 23 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. ...
160
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In 1997 we presented ten challenges for research on satisfiability testing [1]. In this paper we review recent progress towards each of these challenges, including our o...
152
click to vote
ITS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. In this paper, we use supervised machine learning to automatically identify the problem localization of peer-review feedback. Using five features extracted via Natural L...