7106 search results - page 244 / 1422 » Restricted Complexity, General Complexity |
137
click to vote
COLT
1994
Springer
15 years 8 months ago
1994
Springer
We propose and analyze a distribution learning algorithm for variable memory length Markov processes. These processes can be described by a subclass of probabilistic nite automata...
138
click to vote
IAT
2009
IEEE
15 years 8 months ago
2009
IEEE
Variants of the decentralized MDP model focus on problems exhibiting some special structure that makes them easier to solve in practice. Our work is concerned with two main issues...
154
click to vote
AAAI
2007
15 years 6 months ago
2007
Expressive Description Logics (DLs) have been advocated as formalisms for modeling the domain of interest in various application areas. An important requirement is the ability to ...
163
click to vote
APSEC
2008
IEEE
15 years 6 months ago
2008
IEEE
Reactive systems are often described by interconnecting sub-components along architectural connectors defining communication policies. Generally, such global systems may exhibit p...
147
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
The evaluation of successor or predecessor state spaces through time progress is a central component in the model-checking algorithm of dense-time automata. The definition of the t...