1277 search results - page 99 / 256 » Terminating Decision Algorithms Optimally |
112
Voted
JCM
2008
15 years 3 months ago
2008
In this work a joint clock recovery (CR) and equalization scheme for short burst transmissions is presented. The joint optimization performance may be pursued by means of both data...
132
Voted
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
123
click to vote
IGPL
1998
15 years 3 months ago
1998
Is it possible to compute in which logics a given formula is deducible? The aim of this paper is to provide a formal basis to answer positively this question in the context of sub...
114
click to vote
IJCAI
2003
15 years 4 months ago
2003
Markov decision processes (MDPs) and contingency planning (CP) are two widely used approaches to planning under uncertainty. MDPs are attractive because the model is extremely gen...
126
Voted
CCE
2004
15 years 3 months ago
2004
In the literature, optimization models deal with planning and scheduling of several subsystems of the petroleum supply chain such as oilfield infrastructure, crude oil supply, ref...