2588 search results - page 73 / 518 » Applications of Kolmogorov complexity to computable model th... |
108
click to vote
PODS
2012
ACM
13 years 4 months ago
2012
ACM
Database theory and database practice are typically the domain of computer scientists who adopt what may be termed an algorithmic perspective on their data. This perspective is ve...
123
click to vote
ASE
2004
15 years 1 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
149
click to vote
ISOLA
2010
Springer
15 years 2 days ago
2010
Springer
Latest results of statistical learning theory have provided techniques such us pattern analysis and relational learning, which help in modeling system behavior, e.g. the semantics ...
114
click to vote
CVPR
2005
IEEE
16 years 3 months ago
2005
IEEE
This paper describes two algorithms capable of real-time segmentation of foreground from background layers in stereo video sequences. Automatic separation of layers from colour/co...
GI
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: The vision process is very complex and requires for its realization in artificial systems a fundamentally new technology for systems generation. This must be based on pr...