3011 search results - page 562 / 603 » Generating XML Based Specifications of Information Systems |
VISUALIZATION
2005
IEEE
14 years 2 months ago
2005
IEEE
Scientific illustrations use accepted conventions and methodologies to effectively convey object properties and improve our understanding. We present a method to illustrate volum...
DILS
2005
Springer
14 years 2 months ago
2005
Springer
Publicly available biological resources form a complex maze of highly heterogeneous data sources, interconnected by navigational capabilities and applications. Although it offers ...
FASE
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
GI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...
ISMIR
2004
Springer
14 years 2 months ago
2004
Springer
This paper describes a method that recognizes musical chords from real-world audio signals in compact-disc recordings. The automatic recognition of musical chords is necessary for...