Sciweavers

19130 search results - page 403 / 3826
» Modelling multi-path problems
Sort
View
CP
2005
Springer
16 years 10 days ago
Encoding HTN Planning as a Dynamic CSP
Abstract. Constraint satisfaction problems provide strong formalism for modeling variety of real life problems. This paper presents a work currently in progress of which the goal i...
Pavel Surynek, Roman Barták
143
Voted
ACRI
2004
Springer
16 years 6 days ago
SAT-Based Analysis of Cellular Automata
Abstract. Cellular Automata are a powerful formal model for describing physical and computational processes. Qualitative analysis of Cellular Automata is in general a hard problem....
Massimo D'Antonio, Giorgio Delzanno
SIGECOM
2003
ACM
143views ECommerce» more  SIGECOM 2003»
16 years 2 days ago
Pricing WiFi at Starbucks: issues in online mechanism design
We consider the problem of designing mechanisms for online problems in which agents arrive over time and the mechanism is unaware of the agent until the agent announces her arriva...
Eric J. Friedman, David C. Parkes
FOCS
1997
IEEE
15 years 11 months ago
Storage Management for Evolving Databases
The problem of maintaining data that arrives continuously over time is increasingly prevalent in databases and digital libraries. Building on a model for sliding-window indices de...
Jon M. Kleinberg, Rajeev Motwani, Prabhakar Raghav...
WSC
2008
15 years 9 months ago
A comparative study of genetic algorithm components in simulation-based optimisation
In this paper, we present a comparative study of different stochastic components of genetic algorithms for simulationbased optimisation of the buffer allocation problem. We explor...
Birkan Can, Andreas Beham, Cathal Heavey