1981 search results - page 280 / 397 » Model-Checking Hierarchical Structures |
CTCS
1987
Springer
14 years 14 days ago
1987
Springer
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
ECCV
2010
Springer
14 years 12 days ago
2010
Springer
Abstract. Even a relatively unstructured captioned image set depicting a variety of objects in cluttered scenes contains strong correlations between caption words and repeated visu...
BMVC
2001
13 years 11 months ago
2001
The conventional area-based stereo matching algorithm suffers from two problems, the windowing problem and computational cost. Multiple scale analysis has long been adopted in vis...
AAAI
2008
13 years 11 months ago
2008
We propose a new local search platform that splits a CNF formula into three sub-components: i) a minimal dependency lattice (representing the core connections between logic gates)...
AI
2008
Springer
13 years 11 months ago
2008
Springer
This paper presents a statistical model for discovering topical clusters of words in unstructured text. The model uses a hierarchical Bayesian structure and it is also able to iden...