Sciweavers

3379 search results - page 44 / 676
» Combinators for Interaction Nets
Sort
View
JCP
2008
142views more  JCP 2008»
14 years 11 months ago
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
Boleslaw Mikolajczak, Nirmal Gami
ZEUS
2010
200views Communications» more  ZEUS 2010»
15 years 1 months ago
Mapping interconnection choreography models to interaction choreography models
Choreographies offer a global view on interacting processes. There are two ways to capture this global view: interaction models and interconnection models. Although there is a mapp...
Oliver Kopp, Frank Leymann, Fei Wu 0002
BMCBI
2004
93views more  BMCBI 2004»
14 years 11 months ago
Predicting binding sites of hydrolase-inhibitor complexes by combining several methods
Background: Protein-protein interactions play a critical role in protein function. Completion of many genomes is being followed rapidly by major efforts to identify interacting pr...
Taner Z. Sen, Andrzej Kloczkowski, Robert L. Jerni...
LREC
2010
163views Education» more  LREC 2010»
15 years 1 months ago
Feasibility of Automatically Bootstrapping a Persian WordNet
In this paper we describe a proof-of-concept for the bootstrapping of a Persian WordNet. This effort was motivated by previous work done at Stanford University on bootstrapping an...
Chris Irwin Davis, Dan I. Moldovan
CORR
2010
Springer
69views Education» more  CORR 2010»
14 years 12 months ago
Epistemic irrelevance in credal nets: the case of imprecise Markov trees
We focus on credal nets, which are graphical models that generalise Bayesian nets to imprecise probability. We replace the notion of strong independence commonly used in credal ne...
Gert de Cooman, Filip Hermans, Alessandro Antonucc...