2263 search results - page 285 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
142
click to vote
CADE
2008
Springer
16 years 6 months ago
2008
Springer
We present a tool for automatic generation of packed bitfields and tagged unions for systems-level C, along with automatic, machine checked refinement proofs in Isabelle/HOL. Our a...
161
click to vote
MLMI
2004
Springer
15 years 11 months ago
2004
Springer
The NITE XML Toolkit (NXT) provides library support for working with multimodal language corpora. We describe work in progress to explore its potential for the AMI project by appl...
158
click to vote
LREC
2010
15 years 8 months ago
2010
We describe a set of tools, resources, and experiments for opinion classification in business-related datasources in two languages. In particular we concentrate on SentiWordNet te...
158
click to vote
LWA
2007
15 years 7 months ago
2007
This paper describes the application of machine learning methods to determine parameters for DeLite, a readability checking tool. DeLite pinpoints text segments that are difficul...
176
click to vote
IJCAI
1989
15 years 7 months ago
1989
This paper considers the Valiant framework as it is applied to the task of learning logical concepts from random examples. It is argued that the current interpretation of this Val...