596 search results - page 57 / 120 » Providing Automatic Support for Heuristic Rules of Methods |
103
click to vote
IDA
2006
Springer
14 years 9 months ago
2006
Springer
Text categorization is a well-known task based essentially on statistical approaches using neural networks, Support Vector Machines and other machine learning algorithms. Texts are...
CAV
2004
Springer
15 years 1 months ago
2004
Springer
Predicate abstraction has been proved effective for verifying several infinite-state systems. In predicate abstraction, an abstract system is automatinstructed given a set of predi...
LREC
2008
14 years 11 months ago
2008
This paper introduces a knowledge representation formalism used for annotation of the French MEDIA dialogue corpus in terms of high level semantic structures. The semantic annotat...
114
click to vote
VIS
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we describe a novel method to integrate interactive visual analysis and machine learning to support the insight generation of the user. The suggested approach combine...
101
click to vote
KDD
2010
ACM
15 years 1 months ago
2010
ACM
Stroke is the third leading cause of death and the principal cause of serious long-term disability in the United States. Accurate prediction of stroke is highly valuable for early...