5451 search results - page 437 / 1091 » Typed Operational Semantics |
174
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
Ontologies proliferate with the growth of the Semantic Web. However, most of data on the Web are still stored in relational databases. Therefore, it is important to establish inter...
160
click to vote
ICDE
2006
IEEE
16 years 23 days ago
2006
IEEE
— In this paper, we describe the functionality of a toolkit for sharing and long-term use of different types of geological data sets across disciplines. Our tools allow users to ...
184
click to vote
LICS
2005
IEEE
16 years 9 days ago
2005
IEEE
We introduce the language QML, a functional language for quantum computations on finite types. Its design is guided by its categorical semantics: QML programs are interpreted by ...
138
click to vote
AIED
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. This paper addresses the ongoing discussion on influencing factors of automatic essay scoring with latent semantic analysis (LSA). Throughout this paper, we contribute to...
192
click to vote
CLEF
2005
Springer
16 years 8 days ago
2005
Springer
This paper presents the approaches used by the MIRACLE team to image retrieval at ImageCLEF 2005. Text-based and content-based techniques have been tested, along with combination o...