4212 search results - page 43 / 843 » Rights Expression Languages |
110
click to vote
FORTE
2010
15 years 1 months ago
2010
Abstract. Separation logic is a popular specification language for imperative programs where the heap can only be mentioned through pointsto assertions. However, separation logic&#...
EACL
1989
ACL Anthology
15 years 1 months ago
1989
ACL Anthology
This paper shows how higher levels of generalization can be introduced into unification grammars by exploiting methods for typing grammatical objects. We discuss the strategy of u...
162
click to vote
CADE
2002
Springer
16 years 5 days ago
2002
Springer
Abstract. Description Logics are a family of class based knowledge representation formalisms characterised by the use of various constructors to build complex classes from simpler ...
106
click to vote
IANDC
2010
14 years 9 months ago
2010
There is an increasing interest in the shuffle product on formal languages, mainly because it is a standard tool for modeling process algebras. It still remains a mysterious opera...
KIVS
2005
Springer
15 years 5 months ago
2005
Springer
Im MPEG-21 Multimedia Framework Standard spielt das Digital Item als fundamentale Transaktions- und Austauscheinheit eine zentrale Rolle. Dieser Artikel beschreibt eine Methodik un...