Sciweavers

312 search results - page 15 / 63
» A Formal Measure of Machine Intelligence
Sort
View
IFL
2005
Springer
103views Formal Methods» more  IFL 2005»
15 years 3 months ago
Accurate Step Counting
Abstract Starting with an evaluator for a language, an abstract machine for the same language can be mechanically derived using successive program transformations. This has relevan...
Catherine Hope, Graham Hutton
CIKM
2009
Springer
15 years 4 months ago
A machine learning approach for improved BM25 retrieval
Despite the widespread use of BM25, there have been few studies examining its effectiveness on a document description over single and multiple field combinations. We determine t...
Krysta Marie Svore, Christopher J. C. Burges
FLAIRS
2007
15 years 2 days ago
Context-Sensitive MTL Networks for Machine Lifelong Learning
Context-sensitive Multiple Task Learning, or csMTL, is presented as a method of inductive transfer that uses a single output neural network and additional contextual inputs for le...
Daniel L. Silver, Ryan Poirier
ICARIS
2005
Springer
15 years 3 months ago
Immunising Automated Teller Machines
Abstract. This paper presents an immune-inspired adaptable error detection (AED) framework for Automated Teller Machines (ATMs). This framework two levels, one level is local to a ...
Modupe Ayara, Jon Timmis, Rogério de Lemos,...
ECAI
2004
Springer
15 years 3 months ago
A Generalized Quadratic Loss for Support Vector Machines
The standard SVM formulation for binary classification is based on the Hinge loss function, where errors are considered not correlated. Due to this, local information in the featu...
Filippo Portera, Alessandro Sperduti