1513 search results - page 128 / 303 » Semantic Business Process Analysis |
176
click to vote
BMCBI
2010
15 years 1 months ago
2010
Background: Quantification of different types of cells is often needed for analysis of histological images. In our project, we compute the relative number of proliferating hepatoc...
161
click to vote
ACL
1996
15 years 7 months ago
1996
In this paper, we show that Higher-Order Coloured Unification - a form of unification developed for automated theorem proving - provides a general theory for modeling the interfac...
167
click to vote
EACL
1993
ACL Anthology
15 years 7 months ago
1993
ACL Anthology
This paper proposes a method for measuring semantic similarity between words as a new tool for text analysis. The similarity is measured on a semantic network constructed systemat...
212
click to vote
SAS
1992
Springer
15 years 10 months ago
1992
Springer
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
205
click to vote
ESOP
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents the rst approximation method of the nite-failure set of a logic program by set-based analysis. In a dual view, the method yields a type analysis for programs wi...