Sciweavers

5671 search results - page 865 / 1135
» A Semantic Approach to Interpolation
Sort
View
CTCS
1987
Springer
15 years 10 months ago
Good Functors... are Those Preserving Philosophy
of this paper is to prevent the abstract data type researcher from an improper, naive use of category theory. We mainly emphasize some unpleasant properties of the synthesis funct...
Gilles Bernot
AAAI
2007
15 years 9 months ago
Representing and Reasoning about Commitments in Business Processes
A variety of business relationships in open settings can be understood in terms of the creation and manipulation of commitments among the participants. These include B2C and B2B c...
Nirmit Desai, Amit K. Chopra, Munindar P. Singh
AAAI
2008
15 years 9 months ago
Decoding Wikipedia Categories for Knowledge Acquisition
This paper presents an approach to acquire knowledge from Wikipedia categories and the category network. Many Wikipedia categories have complex names which reflect human classific...
Vivi Nastase, Michael Strube
AISC
2008
Springer
15 years 8 months ago
Cross-Curriculum Search for Intergeo
Intergeo is a European project dedicated to the sharing of interactive geometry constructions. This project is setting up an annotation and search web platform which will offer and...
Paul Libbrecht, Cyrille Desmoulins, Christian Merc...
ASWC
2008
Springer
15 years 8 months ago
SAOR: Authoritative Reasoning for the Web
Abstract. In this paper we discuss the challenges of performing reasoning on large scale RDF datasets from the Web. We discuss issues and practical solutions relating to reasoning ...
Aidan Hogan, Andreas Harth, Axel Polleres