941 search results - page 12 / 189 » Mathematics on the (Semantic) NET |
ESWS
2008
Springer
14 years 20 days ago
2008
Springer
RR
2007
Springer
14 years 5 months ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
CONCUR
1992
Springer
14 years 3 months ago
1992
Springer
Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the "...
LREC
2008
14 years 10 days ago
2008
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...
APN
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...