Sciweavers

1099 search results - page 132 / 220
» Petri net ontology
Sort
View
PROCEDIA
2010
127views more  PROCEDIA 2010»
15 years 1 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...
ECAI
2004
Springer
15 years 11 months ago
Extending a Lexicon Ontology for Intelligent Information Integration
One of the current research on the Semantic Web area is semantic annotation of information sources. On-line lexical ontologies can be exploited as a-priori common knowledge to prov...
Roberta Benassi, Sonia Bergamaschi, Alain Fergnani...
BMCBI
2010
223views more  BMCBI 2010»
15 years 1 months ago
MetNetGE: interactive views of biological networks and ontologies
Background: Linking high-throughput experimental data with biological networks is a key step for understanding complex biological systems. Currently, visualization tools for large...
Ming Jia, Suh-Yeon Choi, Dirk Reiners, Eve Syrkin ...
LREC
2008
94views Education» more  LREC 2008»
15 years 7 months ago
A General Methodology for Mapping EuroWordNets to the Suggested Upper Merged Ontology
This paper presents a general methodology to mapping EuroWordNets (Vossen, 1998) to the Suggested Upper Merged Ontology (SUMO; (Niles and Pease, 2001)), and we show its applicatio...
Dennis Spohr
CONCUR
2009
Springer
15 years 11 months ago
Bigraphical Categories
ract bigraphs lack RPOs 57 6 Sorting 59 6.1 Place sorting and CCS 59 6.2 Link sorting, arithmetic nets and Petri nets 64 6.3 The impact of sorting 69 Part II : Motion 71 7 Reaction...
Robin Milner