523 search results - page 30 / 105 » Structured Solution Methods for Non-Markovian Decision Proce... |
111
Voted
ISCAS
2006
IEEE
15 years 9 months ago
2006
IEEE
— All-solution Boolean satisfiability (SAT) solvers are engines employed to find all the possible solutions to a SAT problem. Their applications are found throughout the EDA in...
113
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract— Research on numerical solution methods for partially observable Markov decision processes (POMDPs) has primarily focused on discrete-state models, and these algorithms ...
110
Voted
ACIVS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This article presents a new algorithm for spatial deinterlacing that could easily be integrated in a more complete deinterlacing system, typically a spatio-temporal motio...
114
Voted
WSC
2007
15 years 6 months ago
2007
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
124
Voted
EOR
2006
15 years 3 months ago
2006
In Gal and Hanne [Eur. J. Oper. Res. 119 (1999) 373] the problem of using several methods to solve a multiple criteria decision making (MCDM) problem with linear objective functio...