Sciweavers

4081 search results - page 262 / 817
» The Impact of Constraint Programming
Sort
View
AAAI
2010
15 years 8 months ago
Symbolic Dynamic Programming for First-order POMDPs
Partially-observable Markov decision processes (POMDPs) provide a powerful model for sequential decision-making problems with partially-observed state and are known to have (appro...
Scott Sanner, Kristian Kersting
ANOR
2006
133views more  ANOR 2006»
15 years 6 months ago
Horizon and stages in applications of stochastic programming in finance
To solve a decision problem under uncertainty via stochastic programming means to choose or to build a suitable stochastic programming model taking into account the nature of the r...
Marida Bertocchi, Vittorio Moriggia, Jitka Dupacov...
ENTCS
2006
101views more  ENTCS 2006»
15 years 6 months ago
Mumbo: A Rule-Based Implementation of a Run-time Program Generation Language
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
Baris Aktemur, Samuel N. Kamin
CC
2012
Springer
227views System Software» more  CC 2012»
14 years 2 months ago
Programming Paradigm Driven Heap Analysis
The computational cost and precision of a shape style heap analysis is highly dependent on the way method calls are handled. This paper introduces a new approach to analyzing metho...
Mark Marron, Ondrej Lhoták, Anindya Banerje...
MODELS
2009
Springer
16 years 1 months ago
How to compare program comprehension in FOSD empirically: an experience report
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
Janet Feigenspan, Christian Kästner, Sven Ape...