887 search results - page 125 / 178 » Representing Systems with Hidden State |
130
click to vote
EUROGP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A protein is a linear chain of amino acids that folds into a unique functional structure, called its native state. In this state, proteins show repeated substructures lik...
117
click to vote
SARA
2005
Springer
15 years 9 months ago
2005
Springer
Sets of features in Markov decision processes can play a critical role ximately representing value and in abstracting the state space. Selection of features is crucial to the succe...
120
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
We adopt the decision-theoretic principle of expected utility maximization as a paradigm for designing autonomous rational agents operating in multi-agent environments. We use the...
132
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
Deductive retrieval and deductive synthesis are two conceptually closely related software development methods which apply theorem proving techniques to support the construction of...
155
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...