687 search results - page 83 / 138 » A Self-Policing Policy Language |
115
Voted
FCT
2005
Springer
15 years 7 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...
100
Voted
TCS
2010
15 years 7 days ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
107
Voted
LPNMR
1995
Springer
15 years 5 months 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...
126
Voted
LREC
2008
15 years 3 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...
106
click to vote
ECTEL
2010
Springer
15 years 3 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...