8636 search results - page 1598 / 1728 » How Developers Copy |
127
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
124
click to vote
SEMWEB
2009
Springer
15 years 9 months ago
2009
Springer
In this report, we give a brief explanation of how RiMOM obtains the results at OAEI 2009 Campaign, especially in the new Instance Matching track. At first, we show the basic alig...
117
click to vote
HT
2009
ACM
15 years 9 months ago
2009
ACM
How can authoring tools help authors create complex, innovative hypertext narrative structures? Tools for creating hypertext fiction typically represent such narratives in the fo...
144
click to vote
PETRA
2009
ACM
15 years 9 months ago
2009
ACM
The Ambient Kitchen is a high fidelity prototype for exploring the design of pervasive computing algorithms and applications for everyday environments. The environment integrates ...
138
click to vote
SIGIR
2009
ACM
15 years 9 months ago
2009
ACM
With the continuing advances in data storage and communication technology, there has been an explosive growth of music information from different application domains. As an effe...