1318 search results - page 89 / 264 » The formal semantics of the timeER model |
153
click to vote
AI
2004
Springer
15 years 6 months ago
2004
Springer
We give a formal semantics for a highly expressive language for representing temporal relationships and events. This language, which we call Versatile Event Logic (VEL), provides ...
150
click to vote
MMMACNS
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
144
click to vote
DLOG
2003
15 years 7 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...
181
click to vote
FLAIRS
2008
15 years 7 months ago
2008
This paper describes a shallow parsing formalism aiming at machine translation between closely related languages. The formalism allows to write grammar rules helping to (partially...
149
click to vote
SDB
1995
15 years 10 months ago
1995
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...