1547 search results - page 158 / 310 » The Isabelle Collections Framework |
131
click to vote
AI
2005
Springer
15 years 10 months ago
2005
Springer
The rapid growth of the World Wide Web has complicated the process of web browsing by providing an overwhelming wealth of choices for the end user. To alleviate this burden, intell...
127
click to vote
ISMIR
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes the use of motif contour classes for efficient retrieval of melodies from music collections. Instead of extracting incipits or themes, complete monophonic pi...
135
click to vote
PPAM
2005
Springer
15 years 9 months ago
2005
Springer
We propose a new framework, named Simple Interface for Library Collections (SILC), that gives users access to matrix computation libraries in a flexible and environment-independen...
117
click to vote
DOCENG
2004
ACM
15 years 9 months ago
2004
ACM
We consider the problem of document conversion from the renderingoriented HTML markup into a semantic-oriented XML annotation defined by user-specific DTDs or XML Schema descrip...
122
click to vote
PATMOS
2004
Springer
15 years 9 months ago
2004
Springer
Motivated by very/ultra large scale integrated circuit (VLSI/ULSI) physical design applications, we study the construction of rectilinear minimum spanning tree (RMST) with its maxi...