2830 search results - page 201 / 566 » No Science without Semantics |
TOOLS
1992
IEEE
14 years 1 months ago
1992
IEEE
This paper describes an Ei el system for rapid testing of grammars. Grammars are de ned in an extended BNF notation that allows actions on the parse tree nodes to be de ned as add...
APN
2006
Springer
14 years 1 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 ...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
DLOG
2008
13 years 12 months ago
2008
The development of scalable reasoning systems is one of the crucial factors determining the success of Semantic Web systems. Recently, in [GH06], an approach is proposed, which tac...
OWLED
2008
13 years 11 months ago
2008
In our experiences building systems that use Semantic Web technologies, we have often identified a requirement for a consistent way to associate data values with standard units. We...