2268 search results - page 134 / 454 » The Essence of Form Abstraction |
ISMIR
2001
Springer
14 years 22 days ago
2001
Springer
Musical works form a key entity for music information retrieval. Explicit linkage of relationships among entities is critical for document-based information retrieval. Works conta...
WCRE
2000
IEEE
14 years 20 days ago
2000
IEEE
One of the most important issue in source code analysis and software re-engineering is the representation of ode text at an abstraction level and form suitable for algorithmic pro...
CSL
2000
Springer
14 years 19 days ago
2000
Springer
This paper introduces a typed λ-calculus called λPower , a predicative reformulation of part of Cardelli’s power type system. Power types integrate subtyping into the typing t...
DARS
2000
Springer
14 years 19 days ago
2000
Springer
Abstract—In this paper we present a new approach to the problem of simultaneously localizing a group of mobile robots capable of sensing one another. Each of the robots collects ...
EP
1998
Springer
14 years 15 days ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...