Sciweavers

3718 search results - page 52 / 744
» IMPS: System Description
Sort
View
PADL
2012
Springer
13 years 7 months ago
LearnPADS + + : Incremental Inference of Ad Hoc Data Formats
An ad hoc data source is any semi-structured, non-standard data source. The format of such data sources is often evolving and frequently lacking documentation. Consequently, off-t...
Kenny Qili Zhu, Kathleen Fisher, David Walker
IFIP
2010
Springer
14 years 6 months ago
Scenario-Based Modeling in Industrial Information Systems
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
Ricardo Jorge Machado, João M. Fernandes, J...
LICS
2005
IEEE
15 years 5 months ago
Proof-Theoretic Approach to Description-Logic
In recent work Baader has shown that a certain description logic with conjunction, existential quantification and with circular definitions has a polynomial time subsumption pro...
Martin Hofmann
LPAR
2004
Springer
15 years 5 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...
JODS
2008
424views Data Mining» more  JODS 2008»
14 years 11 months ago
Semantically Processing Parallel Colour Descriptions
Information integration and retrieval are useful tasks in many information systems. In these systems, it is far from an easy task to directly integrate information from natural lan...
Shenghui Wang, Jeff Z. Pan