687 search results - page 83 / 138 » A Self-Policing Policy Language |
FCT
2005
Springer
14 years 2 months ago
2005
Springer
Leftist grammars can be characterized in terms of rules of the form a → ba and cd → d, without distinction between terminals and nonterminals. They were introduced by Motwani e...
TCS
2010
13 years 7 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
LPNMR
1995
Springer
14 years 16 days ago
1995
Springer
In this paper we propose a logic programming language which supports hypothetical updates together with integrity constraints. The language allows sequences of updates by sets of a...
LREC
2008
13 years 10 months ago
2008
This paper analyses some general issues about human language technology evaluation, focusing on economic aspects. It first provides a scientific rationale for the need to organize...
ECTEL
2010
Springer
13 years 10 months ago
2010
Springer
We present Beetle II, a tutorial dialogue system designed to accept unrestricted language input and support experimentation with different tutorial planning and dialogue strategies...