268 search results - page 18 / 54 » Expressive Power of Grammatical Formalisms |
CADE
2010
Springer
13 years 9 months ago
2010
Springer
Beluga is an environment for programming and reasoning about formal systems given by axioms and inference rules. It implements the logical framework LF for specifying and prototypi...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
This article proposes a core query algebra for probabilistic databases. In essence, this core is part of the query languages of most probabilistic database systems proposed so far...
PODS
2004
ACM
14 years 8 months ago
2004
ACM
XPath is the W3C?standard node addressing language for XML documents. XPath is still under development and its technical aspects are intensively studied. What is missing at presen...
COLING
2008
13 years 10 months ago
2008
We introduce a new type of discourse constraints for the interaction of discourse relations with the configuration of discourse segments. We examine corpus-extracted examples as s...
CSFW
2006
IEEE
14 years 2 months ago
2006
IEEE
We argue that games are expressive enough to encompass (history-based) access control, (resource) usage control (e.g., dynamic adaptive access control of reputation systems), acco...