Sciweavers

7366 search results - page 1081 / 1474
» Development of the Information Systems Implementation Resear...
Sort
View
AMKM
2003
Springer
16 years 1 days ago
Discovering, Visualizing, and Sharing Knowledge through Personalized Learning Knowledge Maps
This paper presents an agent-based approach to semantic exploration and knowledge discovery in large information spaces by means of capturing, visualizing and making usable implic...
Jasminko Novak, Michael Wurst, Monika Fleischmann,...
ESWS
2008
Springer
15 years 8 months ago
Numeric reasoning in the Semantic Web
Abstract. The Semantic Web is an effort by the W3C to enable integration and sharing of information across different applications and organizations using annotations by means of on...
Chimène Fankam, Stéphane Jean, Guy P...
JODS
2007
116views Data Mining» more  JODS 2007»
15 years 6 months ago
A Tool for Evaluating Ontology Alignment Strategies
Ontologies are an important technology for the Semantic Web. In different areas ontologies have already been developed and many of these ontologies contain overlapping information...
Patrick Lambrix, He Tan
CLUSTER
2009
IEEE
16 years 1 months ago
Analyzing massive astrophysical datasets: Can Pig/Hadoop or a relational DBMS help?
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
Sarah Loebman, Dylan Nunley, YongChul Kwon, Bill H...
TPHOL
1999
IEEE
15 years 11 months ago
Isar - A Generic Interpretative Approach to Readable Formal Proof Documents
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
Markus Wenzel
« Prev « First page 1081 / 1474 Last » Next »