Sciweavers

898 search results - page 79 / 180
» Using objects and patterns to implement domain ontologies
Sort
View
ERSHOV
1989
Springer
14 years 1 months ago
Experiments with Implementations of Two Theoretical Constructions
This paper reports two experiments with implementations of constructions from theoretical computer science. The first one deals with Kleene’s and Rogers’ second recursion the...
Torben Amtoft Hansen, Thomas Nikolajsen, Jesper La...
GI
2004
Springer
14 years 2 months ago
Automating the Development of Web Service Compositions Using Templates
: The development of Web Service compositions has not yet been automated. Web Service-based process definitions can be created automatically using Web Service compositions template...
Dimka Karastoyanova, Alejandro P. Buchmann
ESAW
2004
Springer
14 years 2 months ago
Using Stand-in Agents in Partially Accessible Multi-agent Environment
This contribution defines a metrics and proposes a solution for the problem of agents inaccessibility in multi-agent systems. We define the stand-in pattern for knowledge mainten...
Martin Rehák, Michal Pechoucek, Jan Tozicka...
CIKM
2010
Springer
13 years 7 months ago
Components for information extraction: ontology-based information extractors and generic platforms
Information Extraction (IE) has existed as a field for several decades and has produced some impressive systems in the recent past. Despite its success, widespread usage and comm...
Daya C. Wimalasuriya, Dejing Dou
FM
2011
Springer
357views Formal Methods» more  FM 2011»
13 years 22 days ago
TraceContract: A Scala DSL for Trace Analysis
Abstract. In this paper we describe TRACECONTRACT, an API for trace analysis, implemented in the SCALA programming language. We argue that for certain forms of trace analysis the b...
Howard Barringer, Klaus Havelund