494 search results - page 47 / 99 » Probabilistic Programming in Anglican |
66
Voted
ANOR
2010
14 years 10 months ago
2010
We study some mathematical programming formulations for the origin-destination model in airline revenue management. In particular, we focus on the traditional probabilistic model ...
EMSOFT
2006
Springer
15 years 1 months ago
2006
Springer
The paper deals with the problem of computing schedules for multi-threaded real-time programs. In [14] we introduced a scheduling method based on the geometrization of PV programs...
120
click to vote
IWFM
2003
14 years 11 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
67
Voted
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
90
Voted
GECCO
2009
Springer
15 years 2 months ago
2009
Springer
The synthesis of stochastic processes using genetic programming is investigated. Stochastic process behaviours take the form of time series data, in which quantities of interest v...