9284 search results - page 216 / 1857 » Knowledge State Algorithms |
192
click to vote
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
15 years 6 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
205
click to vote
CCE
2005
15 years 6 months ago
2005
This paper presents a comprehensive formulation of a linearized state space process model for a generic two-reactant-two-product reactive distillation system. The development of t...
163
Voted
JAIR
2006
15 years 6 months ago
2006
We present a heuristic search algorithm for solving first-order Markov Decision Processes (FOMDPs). Our approach combines first-order state abstraction that avoids evaluating stat...
190
click to vote
AAAI
2000
15 years 7 months ago
2000
Given a model of a physical process and a sequence of commands and observations received over time, the task of an autonomous controller is to determine the likely states of the p...
178
click to vote
JCP
2008
15 years 6 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...