Sciweavers

1369 search results - page 139 / 274
» On the Semantics of Petri Nets
Sort
View
108
Voted
PROCEDIA
2010
127views more  PROCEDIA 2010»
14 years 7 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...
98
Voted
LREC
2008
94views Education» more  LREC 2008»
15 years 2 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...
131
Voted
FMSB
2008
129views Formal Methods» more  FMSB 2008»
15 years 2 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...
99
Voted
COLING
2000
15 years 2 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
98
Voted
AAAI
2006
15 years 2 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