Sciweavers

17770 search results - page 333 / 3554
» A Generalization of Forward-Backward Algorithm
Sort
View
ICDM
2003
IEEE
135views Data Mining» more  ICDM 2003»
16 years 23 days ago
An Algorithm for the Exact Computation of the Centroid of Higher Dimensional Polyhedra and its Application to Kernel Machines
The Support Vector Machine (SVM) solution corresponds to the centre of the largest sphere inscribed in version space. Alternative approaches like Bayesian Point Machines (BPM) and...
Frédéric Maire
TPHOL
2003
IEEE
16 years 23 days ago
A Coverage Checking Algorithm for LF
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
Carsten Schürmann, Frank Pfenning
MOBICOM
2003
ACM
16 years 22 days ago
Distributed algorithms for guiding navigation across a sensor network
We develop distributed algorithms for self-organizing sensor networks that respond to directing a target through a region. The sensor network models the danger levels sensed acros...
Qun Li, Michael DeRosa, Daniela Rus
173
Voted
ATAL
2003
Springer
16 years 22 days ago
A key-based coordination algorithm for dynamic readiness and repair service coordination
This paper describes an agent application for the coordination of aircraft repair, refit, refuel, and rearm teams in a dynamic setting. The paper also presents a new algorithm fo...
Thomas Wagner, Valerie Guralnik, John Phelps
GECCO
2009
Springer
107views Optimization» more  GECCO 2009»
16 years 3 days ago
Evolving distributed algorithms with genetic programming: election
In this paper, we present a detailed analysis of the application of Genetic Programming to the evolution of distributed algorithms. This research field has many facets which make...
Thomas Weise, Michael Zapf