1552 search results - page 143 / 311 » From Automatic Structures to Borel Structures |
151
Voted
ICCV
2005
IEEE
15 years 9 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...
149
Voted
ICDAR
2005
IEEE
15 years 9 months ago
2005
IEEE
The table recognition literature contains many strategies specified informally as a sequence of operations, obscuring both models of table structure and the effects of individual...
127
Voted
GISCIENCE
2004
Springer
15 years 9 months ago
2004
Springer
We investigate the understanding of landmarks using a model of embedding procedures that sees affordances established on three levels. On the first level there are landmark experie...
100
Voted
ATAL
2003
Springer
15 years 8 months ago
2003
Springer
In this paper we address the problem of automatically deriving vocabularies of motion modules from human motion data, taking advantage of the underlying spatio-temporal structure ...
135
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...