523 search results - page 17 / 105 » Structured Solution Methods for Non-Markovian Decision Proce... |
106
click to vote
CCL
1994
Springer
15 years 3 months ago
1994
Springer
Abstract. We compare two prominent decision procedures for propositional logic: Ordered Binary Decision Diagrams (obdds) and the DavisPutnam procedure. Experimental results indicat...
ICSE
2009
IEEE-ACM
16 years 17 days ago
2009
IEEE-ACM
We present the results of a three year field study of the software development process choices made by project teams at two leading offshore vendors. In particular, we focus on th...
JMLR
2010
14 years 6 months ago
2010
We consider reinforcement learning as solving a Markov decision process with unknown transition distribution. Based on interaction with the environment, an estimate of the transit...
SDM
2010
SIAM
15 years 1 months ago
2010
SIAM
Gene prediction is one of the most challenging tasks in genome analysis, for which many tools have been developed and are still evolving. In this paper, we present a novel gene pr...
ICIP
2004
IEEE
16 years 1 months ago
2004
IEEE
In this paper we describe a method for tracking multiple objects whose number is unknown and varies during tracking. Based on preliminary results of object detection in each image...