4212 search results - page 309 / 843 » Rights Expression Languages |
155
click to vote
BIRTHDAY
1991
Springer
15 years 10 months ago
1991
Springer
First-order modal logics, as traditionally formulated, are not expressive enough. It is this that is behind the difficulties in formulating a good analog of Herbrand’s Theorem, ...
172
click to vote
EDOC
2008
IEEE
15 years 8 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
167
click to vote
FAC
2006
15 years 6 months ago
2006
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
160
click to vote
ENGL
2007
15 years 6 months ago
2007
—In previous works, we have presented the advantages of using a domain ontology and annotations on information retrieval as well as the translation problems between languages wit...
205
click to vote
JCSS
2000
15 years 6 months ago
2000
The paper investigates the use of topological annotations (called topological invariants) to answer topological queries in spatial databases. The focus is on the translation of to...