941 search results - page 6 / 189 » Mathematics on the (Semantic) NET |
SEMWIKI
2008
13 years 11 months ago
2008
Abstract. Mathematical documents, and their instrumentation by computers, have rich structure at the layers of presentation, metadata and semantics, as objects in a system for form...
ANLP
2000
13 years 11 months ago
2000
This paper presents the syntactic and semantic tags used to annotate predicate-argument structure in the Berkeley FrameNet Project. It briefly explains the theory of frame semanti...
SEMWIKI
2008
13 years 11 months ago
2008
Abstract. We present semantic markup as a way to exploit the semantics of mathematics in a wiki. Semantic markup makes mathematical knowledge machine-processable and thus allows fo...
APN
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
BCS
2008
13 years 11 months ago
2008
We argue that the mathematics developed for the semantics of computer languages can be fruitfully applied to problems in human communication and action.