2588 search results - page 222 / 518 » Applications of Kolmogorov complexity to computable model th... |
153
click to vote
FOSSACS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
198
click to vote
IJCAI
1997
15 years 8 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
188
click to vote
ICPR
2008
IEEE
16 years 7 months ago
2008
IEEE
This paper presents a method for camera pose tracking that uses a partial knowledge about the scene. The method is based on monocular vision Simultaneous Localization And Mapping ...
165
click to vote
ICDM
2006
IEEE
16 years 20 days ago
2006
IEEE
Sequence data are abundant in application areas such as computational biology, environmental sciences, and telecommunications. Many real-life sequences have a strong segmental str...
193
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
We develop a widely applicable algorithm to solve the fault diagnosis problem in certain distributed-memory multiprocessor systems in which there are a limited number of faulty pr...