Sciweavers

3273 search results - page 191 / 655
» types 2007
Sort
View
SEMWEB
2007
Springer
16 years 20 days ago
Performance of Hybrid WSML Service Matching with WSMO-MX: Preliminary Results
Abstract. The WSMO-MX matchmaker applies different matching filters to retrieve WSMO-oriented service descriptions that are semantically relevant to a given query with respect to...
Frank Kaufer, Matthias Klusch
SEMWEB
2007
Springer
16 years 20 days ago
A Pattern-based Framework for Representation of Uncertainty in Ontologies
Abstract. We present a novel approach to representing uncertain information in ontologies based on design patterns. We provide a brief description of our approach, present its use ...
Miroslav Vacura, Vojtech Svátek, Pavel Smrz...
WOLLIC
2007
Springer
16 years 20 days ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva
ACMSE
2007
ACM
15 years 10 months ago
Java in the box: implementing the BoxScript component language
BoxScript is a Java-based language that supports the componentoriented programming paradigm. BoxScript introduces a composition strategy and type structure to support two main pro...
Yi Liu, H. Conrad Cunningham
AI
2007
Springer
15 years 10 months ago
A Profit-Based Business Model for Evaluating Rule Interestingness
Different types of rules are mined from transaction databases often with the goal of improving sales and services. In this paper, we link the interestingness of rules with the cont...
Yaohua Chen, Yan Zhao, Yiyu Yao