1981 search results - page 219 / 397 » Model-Checking Hierarchical Structures |
HICSS
2006
IEEE
14 years 4 months ago
2006
IEEE
Multimedia, especially video, is widely used in educational applications. More and more universities and corporations now provide videotaped lectures online for knowledge sharing ...
GRC
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract. A new methodology that structures the semantics of a collection of documents into the geometry of a simplicial complex is developed. A simplicial complex is topologically...
SEW
2005
IEEE
14 years 3 months ago
2005
IEEE
Compared with texts, graphs are more intuitive to express comparative and structural information. Many graphical approaches, however, lack a formal basis for precise specification...
ISMIR
2005
Springer
14 years 3 months ago
2005
Springer
Most music processing attempts to focus on one particular feature or structural element such as pitch, beat location, tempo, or genre. This hierarchical approach, in which music i...
ICDE
1993
IEEE
14 years 2 months ago
1993
IEEE
In order to obtain the performance required for nonstandard database environments, we need suitable storage structures for complex objects. I n this paper we use an hierarchical c...