4352 search results - page 97 / 871 » A Representation Theorem and Applications |
113
click to vote
AMAI
2006
Springer
15 years 26 days ago
2006
Springer
A weakness of classical Markov decision processes (MDPs) is that they scale very poorly due to the flat state-space representation. Factored MDPs address this representational pro...
124
click to vote
ENTCS
2007
15 years 23 days ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
123
Voted
IEICET
2007
15 years 22 days ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
104
Voted
ICASSP
2008
IEEE
15 years 7 months ago
2008
IEEE
A class of nonlinear transformation-based filters (NLTF) for state estimation is proposed. The nonlinear transformations that can be used include first (TT1) and second (TT2) or...
100
click to vote
ISORC
2005
IEEE
15 years 6 months ago
2005
IEEE
Web Services emerge as a new paradigm for distributed computing. Model checking is an important verification method to ensure the trustworthiness of composite WS. abstraction and...