Sciweavers

1821 search results - page 272 / 365
» Semantic Web Recommender Systems
Sort
View
SEMWEB
2012
Springer
13 years 8 months ago
How to deal with massively heterogeneous cultural heritage data - lessons learned in CultureSampo
Abstract. This paper presents the CultureSampo system from the viewpoint of publishing heterogeneous linked data as a service. Discussed are the problems of converting legacy data ...
Eetu Mäkelä, Eero Hyvönen, Tuukka R...
LPAR
2004
Springer
15 years 6 months ago
Nonmonotonic Description Logic Programs: Implementation and Experiments
Abstract. The coupling of description logic reasoning systems with other reasoning formalisms (possibly over the Web) is becoming an important research issue and calls for advanced...
Thomas Eiter, Giovambattista Ianni, Roman Schindla...
ENTCS
2008
90views more  ENTCS 2008»
15 years 7 days ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
101
Voted
DATESO
2006
106views Database» more  DATESO 2006»
15 years 2 months ago
GeKon - Applying Novel Approaches to GIS Development
Abstract. This paper describes a few ideas concerned with geographical information systems (GIS) development. Those ideas come from a GIS development project named GeKon, which is ...
Tomas Richta
115
Voted
IEAAIE
2009
Springer
14 years 10 months ago
Two Applications of Lexical Information to Computer-Assisted Item Authoring for Elementary Chinese
1 Testing is a popular way to assess one's competence in a language. The assessment can be conducted by the students for self evaluation or by the teachers in achievement test...
Chao-Lin Liu, Kan-Wen Tien, Yi-Hsuan Chuang, Chih-...