Sciweavers

1178 search results - page 182 / 236
» An Approach to Exploring Description Logic Knowledge Bases
Sort
View
ER
2004
Springer
104views Database» more  ER 2004»
15 years 5 months ago
Incremental Navigation: Providing Simple and Generic Access to Heterogeneous Structures
Abstract. We present an approach to support incremental navigation of structured information, where the structure is introduced by the data model and schema (if present) of a data ...
Shawn Bowers, Lois M. L. Delcambre
SPIN
2004
Springer
15 years 5 months ago
Directed Error Detection in C++ with the Assembly-Level Model Checker StEAM
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
Peter Leven, Tilman Mehler, Stefan Edelkamp
ASIAN
2000
Springer
156views Algorithms» more  ASIAN 2000»
15 years 4 months ago
Reusing Animations in Databases for Multimedia Presentations
Abstract. Multimedia presentations and their applications are becoming more and more popular in most spheres of industry and everyday life. A database approach could help in queryi...
Zhiyong Huang, Binjia Jiao, B. Prabhakaran, Conrad...
ICAIL
2005
ACM
15 years 5 months ago
Computational Linguistic Support for Legal Ontology Construction
The potential of knowledge-based technological support for work in the legal domain has become widely recognized in recent time. This paper argues for an approach that is meant to...
Stephan Walter, Manfred Pinkal
DAIS
2003
15 years 1 months ago
Discovering Web Services Using Behavioural Constraints and Ontology
The ability to locate useful on-line Web Services is becoming critical for today’s service-oriented business applications. A number of efforts have been put to enhance the servic...
Natenapa Sriharee, Twittie Senivongse