Sciweavers

1264 search results - page 96 / 253
» Towards Theory Translation
Sort
View
QEST
2005
IEEE
14 years 2 months ago
An approximation algorithm for labelled Markov processes: towards realistic approximation
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
Alexandre Bouchard-Côté, Norm Ferns, ...
ATAL
2005
Springer
14 years 2 months ago
Towards a formal model for task allocation via coalition formation
This paper focuses on the problem of generating coalition structures for task allocation via coalition formation. It provides a unified formal framework for constructing those co...
Leila Amgoud
GECCO
2005
Springer
110views Optimization» more  GECCO 2005»
14 years 2 months ago
Towards identifying populations that increase the likelihood of success in genetic programming
This paper presents a comprehensive, multivariate account of how initial population material is used over the course of a genetic programming run as while various factors influenc...
Jason M. Daida
LOCA
2005
Springer
14 years 2 months ago
Towards LuxTrace: Using Solar Cells to Measure Distance Indoors
Abstract. Navigation for and tracking of humans within a building usually implies significant infrastructure investment and devices are usually too high in weight and volume to be...
Julian Randall, Oliver Amft, Gerhard Tröster
SIGIR
2004
ACM
14 years 2 months ago
Toward better weighting of anchors
Okapi BM25 scoring of anchor text surrogate documents has been shown to facilitate effective ranking in navigational search tasks over web data. We hypothesize that even better r...
David Hawking, Trystan Upstill, Nick Craswell