2223 search results - page 115 / 445 » Multimedia structuring using trees |
135
Voted
ICMCS
2008
IEEE
15 years 7 months ago
2008
IEEE
Several stochastic models provide an effective framework to identify the temporal structure of audiovisual data. Most of them need as input a first video structure, i.e. connecti...
146
Voted
ESOP
2000
Springer
15 years 4 months ago
2000
Springer
We exhibit a technique for automatically verifying the safety of simple C programs working on tree-shaped data structures. We do not consider the complete behavior of programs, but...
69
Voted
MM
1998
ACM
15 years 4 months ago
1998
ACM
In order to facilitate adaptability of hypermedia documents a distinction is often made between the underlying conceptual structure of a document and the structure of its presenta...
106
click to vote
ACL
1989
15 years 1 months ago
1989
The Context-Free backbone of some natural language analyzers produces all possible CF parses as some kind of shared forest, from which a single tree is to be chosen by a disambigu...
135
click to vote
ITA
2007
15 years 17 days ago
2007
Abstract. Various static analyses of functional programming languages that permit infinite data structures make use of set constants like Top, Inf, and Bot, denoting all terms, al...