1895 search results - page 192 / 379 » Modular Functional Descriptions |
WWW
2006
ACM
14 years 8 months ago
2006
ACM
Web services help in achieving increased automation across organizational boundaries. In this paper, we present an approach for annotating WSDL documents with semantically rich de...
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. We investigate cut-elimination and cut-simulation in impredicative (higher-order) logics. We illustrate that adding simple axioms such as Leibniz equations to a calculus ...
STOC
2004
ACM
14 years 8 months ago
2004
ACM
The perceptron algorithm, developed mainly in the machine learning literature, is a simple greedy method for finding a feasible solution to a linear program (alternatively, for le...
IPPS
2008
IEEE
14 years 2 months ago
2008
IEEE
We introduce a generic framework for the distributed execution of combinatorial optimization tasks. Instead of relying on custom hardware (like dedicated parallel machines or clus...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper introduces ELEON, an editor that allows the enrichment of OWL ontologies with linguistic and user-related annotations. The enriched ontologies are used by natural langu...