Search Sciweavers | Sciweavers

7213 search results - page 6 / 1443

» Automated model grouping

click to vote

ECAI
2004
Springer

127views Artificial Intelligence» more ECAI 2004»

Lakatos-Style Automated Theorem Modification

13 years 10 months ago

Download www.doc.ic.ac.uk

We describe a flexible approach to automated reasoning, where non-theorems can be automatically altered to produce proved results which are related to the original. This is achieve...

Simon Colton, Alison Pease

claim paper

Read More »

click to vote

LREC
2008

111views Education» more LREC 2008»

Sensitivity of Automated MT Evaluation Metrics on Higher Quality MT Output: BLEU vs Task-Based Evaluation Methods

13 years 8 months ago

Download www.lrec-conf.org

We report the results of an experiment to assess the ability of automated MT evaluation metrics to remain sensitive to variations in MT quality as the average quality of the compa...

Bogdan Babych, Anthony Hartley

claim paper

Read More »

click to vote

EC
2006

195views ECommerce» more EC 2006»

Automated Global Structure Extraction for Effective Local Building Block Processing in XCS

13 years 6 months ago

Download www.coboslab.psychologie.uni-wuerzburg.de

Learning Classifier Systems (LCSs), such as the accuracy-based XCS, evolve distributed problem solutions represented by a population of rules. During evolution, features are speci...

Martin V. Butz, Martin Pelikan, Xavier Llorà...

claim paper

Read More »

click to vote

LPNMR
2009
Springer

173views Automated Reasoning» more LPNMR 2009»

Argumentation Context Systems: A Framework for Abstract Group Argumentation

14 years 1 months ago

Download www.informatik.uni-leipzig.de

Gerhard Brewka, Thomas Eiter

claim paper

Read More »