1981 search results - page 182 / 397 » Model-Checking Hierarchical Structures |
CIVR
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Scene structuring is a video analysis task for which no common evaluation procedures have been fully adopted. In this paper, we present a methodology to evaluate such tas...
ICCAD
1999
IEEE
15 years 2 months ago
1999
IEEE
Identifying repeating structural regularities in circuits allows the minimization of synthesis, optimization, and layout e orts. We introduce in this paper a novel method for ident...
TAPSOFT
1997
Springer
15 years 2 months ago
1997
Springer
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
ER
2006
Springer
15 years 2 months ago
2006
Springer
Statistical summaries in relational databases mainly focus on the distribution of data values and have been found useful for various applications, such as query evaluation and data...
DOCENG
2005
ACM
15 years 9 days ago
2005
ACM
In this paper, we present a method for structuring a document according to the information present in its Table of Contents. The detection of the ToC as well as the determination ...