Sciweavers

3628 search results - page 463 / 726
» The Decision Diffie-Hellman Problem
Sort
View
GECCO
2006
Springer
134views Optimization» more  GECCO 2006»
15 years 10 months ago
Reference point based multi-objective optimization using evolutionary algorithms
: Evolutionary multi-objective optimization (EMO) methodologies have been amply applied to find a representative set of Pareto-optimal solutions in the past decade and beyond. Alth...
Kalyanmoy Deb, J. Sundar
AIPS
2008
15 years 9 months ago
Effective Information Value Calculation for Interruption Management in Multi-Agent Scheduling
This paper addresses the problem of deciding effectively whether to interrupt a teammate who may have information that is valuable for solving a collaborative scheduling problem. ...
David Sarne, Barbara J. Grosz, Peter Owotoki
FLAIRS
2008
15 years 9 months ago
Recovering from Inconsistency in Distributed Simple Temporal Networks
Simple Temporal Networks (STNs) are frequently used in scheduling applications, as they provide a powerful and general tool for managing temporal constraints. One obstacle to thei...
Anthony Gallagher, Stephen F. Smith
ABIALS
2008
Springer
15 years 8 months ago
Anticipatory Learning Classifier Systems and Factored Reinforcement Learning
Factored Reinforcement Learning (frl) is a new technique to solve Factored Markov Decision Problems (fmdps) when the structure of the problem is not known in advance. Like Anticipa...
Olivier Sigaud, Martin V. Butz, Olga Kozlova, Chri...
APN
2008
Springer
15 years 8 months ago
MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
Kais Klai, Denis Poitrenaud