941 search results - page 69 / 189 » Mathematics on the (Semantic) NET |
92
Voted
LREC
2010
15 years 2 months ago
2010
We propose a methodology for a novel type of discourse annotation whose model is tuned to the analysis of a text as narrative. This is intended to be the basis of a "story ba...
110
Voted
WECWIS
2007
IEEE
15 years 7 months ago
2007
IEEE
Modeling the semantics of business services and their corresponding messages using ontologies enables flexible integration that is more adaptive to business-driven change. In thi...
118
click to vote
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
Bounded model checking has been recently introduced as an efficient verification method for reactive systems. In this work we apply bounded model checking to asynchronous systems....
90
Voted
ACL
2006
15 years 2 months ago
2006
Many algorithms have been developed to harvest lexical semantic resources, however few have linked the mined knowledge into formal knowledge repositories. In this paper, we propos...
111
click to vote
PDSE
1998
15 years 2 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...