Sciweavers

5030 search results - page 192 / 1006
» cases 2007
Sort
View
DAGSTUHL
2006
15 years 8 months ago
Competitive Online Searching for a Ray in the Plane
We consider the problem of a searcher that looks for a lost flashlight in a dusty environment. The search agent finds the flashlight as soon as it crosses the ray emanating from t...
Andrea Eubeler, Rudolf Fleischer, Thomas Kamphans,...
DAGSTUHL
2006
15 years 8 months ago
A note on the size of Craig Interpolants
Mundici considered the question of whether the interpolant of two propositional formulas of the form F G can always have a short circuit description, and showed that if this is t...
Uwe Schöning, Jacobo Torán
EMNLP
2004
15 years 8 months ago
Adaptive Language and Translation Models for Interactive Machine Translation
We describe experiments carried out with adaptive language and translation models in the context of an interactive computer-assisted translation program. We developed cache-based ...
Laurent Nepveu, Guy Lapalme, Philippe Langlais, Ge...
ESANN
2004
15 years 8 months ago
A New Learning Rates Adaptation Strategy for the Resilient Propagation Algorithm
In this paper we propose an Rprop modification that builds on a mathematical framework for the convergence analysis to equip Rprop with a learning rates adaptation strategy that en...
Aristoklis D. Anastasiadis, George D. Magoulas, Mi...
ESANN
2004
15 years 8 months ago
Dynamic functional-link neural networks genetically evolved applied to system identification
: The contribution concerns the design of a generalised functional-link neural network with internal dynamics and its applicability to system identification by means of multi-input...
Teodor Marcu, Birgit Köppen-Seliger