19936 search results - page 12 / 3988 » Inductive process modeling |
SAC
2009
ACM
14 years 1 months ago
2009
ACM
Decision trees are widely disseminated as an effective solution for classification tasks. Decision tree induction algorithms have some limitations though, due to the typical strat...
IWINAC
2007
Springer
14 years 26 days ago
2007
Springer
A significant advance in inductive modelling are systems that retain learned knowledge and selectively transfer portions of that knowledge as a source of inductive bias. We defi...
ISMIR
2004
Springer
14 years 2 days ago
2004
Springer
In this paper, we investigate the impact of machine learning algorithms in the development of automatic music classification models aiming to capture genres distinctions. The stu...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
FMCAD
2007
Springer
14 years 26 days ago
2007
Springer
Abstract— Model checking can be aided by inductive invariants, small local properties that can be proved by simple induction. We present a way to automatically extract inductive ...