Sciweavers

1369 search results - page 139 / 274
» On the Semantics of Petri Nets
Sort
View
PROCEDIA
2010
127views more  PROCEDIA 2010»
13 years 5 months ago
Web service selection for transactional composition
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
Yudith Cardinale, Joyce El Haddad, Maude Manouvrie...
LREC
2008
94views Education» more  LREC 2008»
13 years 11 months ago
Merging a Syntactic Resource with a WordNet: a Feasibility Study of a Merge between STO and DanNet
This paper presents a feasibility study of a merge between SprogTeknologisk Ordbase (STO), which contains morphological and syntactic information, and DanNet, which is a Danish Wo...
Bolette Sandford Pedersen, Anna Braasch, Lina Henr...
FMSB
2008
129views Formal Methods» more  FMSB 2008»
13 years 12 months ago
Rule-Based Modelling, Symmetries, Refinements
Rule-based modelling is particularly effective for handling the highly combinatorial aspects of cellular signalling. The dynamics is described in terms of interactions between part...
Vincent Danos, Jérôme Feret, Walter F...
COLING
2000
13 years 11 months ago
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof Nets
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
Sylvain Pogodalla
AAAI
2006
13 years 11 months ago
WikiRelate! Computing Semantic Relatedness Using Wikipedia
Wikipedia provides a knowledge base for computing word relatedness in a more structured fashion than a search engine and with more coverage than WordNet. In this work we present e...
Michael Strube, Simone Paolo Ponzetto