Sciweavers

626 search results - page 44 / 126
» The Automatic Interpretation of Nominalizations
Sort
View
MLDM
2005
Springer
14 years 1 months ago
Multivariate Discretization by Recursive Supervised Bipartition of Graph
Abstract. In supervised learning, discretization of the continuous explanatory attributes enhances the accuracy of decision tree induction algorithms and naive Bayes classifier. M...
Sylvain Ferrandiz, Marc Boullé
SIGIR
2004
ACM
14 years 1 months ago
Classifying racist texts using a support vector machine
In this poster we present an overview of the techniques we used to develop and evaluate a text categorisation system for the PRINCIP project which sets out to automatically classi...
Edel Greevy, Alan F. Smeaton
CASCON
2001
115views Education» more  CASCON 2001»
13 years 9 months ago
Lightweight reasoning about program correctness
Automated verification tools vary widely in the types of properties they are able to analyze, the complexity of their algorithms, and the amount of necessary user involvement. In ...
Marsha Chechik, Wei Ding
ENTCS
2006
109views more  ENTCS 2006»
13 years 7 months ago
Specifications via Realizability
We present a system, called RZ, for automatic generation of program specifications from mathematical theories. We translate mathematical theories to specifications by computing th...
Andrej Bauer, Christopher A. Stone
CORR
1999
Springer
81views Education» more  CORR 1999»
13 years 7 months ago
Inducing a Semantically Annotated Lexicon via EM-Based Clustering
We present a technique for automatic induction of slot annotations for subcategorization frames, based on induction of hidden classes in the EM framework of statistical estimation...
Mats Rooth, Stefan Riezler, Detlef Prescher, Glenn...