Sciweavers

8232 search results - page 312 / 1647
» Dynamic Logic Programming
Sort
View
SIAMCO
2011
14 years 9 months ago
Weak Dynamic Programming Principle for Viscosity Solutions
Abstract. We prove a weak version of the dynamic programming principle for standard stochastic control problems and mixed control-stopping problems, which avoids the technical diï¬...
Bruno Bouchard, Nizar Touzi
ICALP
2009
Springer
16 years 7 months ago
An Explicit Formula for the Free Exponential Modality of Linear Logic
Christine Tasson, Nicolas Tabareau, Paul-Andr&eacu...
ER
2009
Springer
126views Database» more  ER 2009»
16 years 1 months ago
A Frame Manipulation Algebra for ER Logical Stage Modelling
Antonio L. Furtado, Marco A. Casanova, Karin Kooga...
CEC
2009
IEEE
16 years 1 months ago
Evolutionary programming with ensemble of explicit memories for dynamic optimization
—This paper presents the evolutionary programming with an ensemble of memories to deal with optimization problems in dynamic environments. The proposed algorithm modifies a recen...
Ling Yu, Ponnuthurai N. Suganthan
WCRE
2008
IEEE
16 years 1 months ago
Workshop on Program Comprehension Through Dynamic Analysis (PCODA'08)
Applying program comprehension techniques may render software maintenance and evolution easier. Understanding a software system typically requires a combination of static and dyna...
Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy,...