Sciweavers

279 search results - page 6 / 56
» An Evaluation Framework for Controlled Natural Languages
Sort
View
UML
2005
Springer
14 years 1 months ago
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven ...
CNL
2009
13 years 8 months ago
Implementing Controlled Languages in GF
Abstract. The paper introduces GF, Grammatical Framework, as a tool for implementing controlled languages. GF provides a high-level grammar formalism and a resource grammar library...
Krasimir Angelov, Aarne Ranta
POPL
2009
ACM
14 years 8 months ago
Lazy evaluation and delimited control
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
Ronald Garcia, Andrew Lumsdaine, Amr Sabry
IJCNLP
2005
Springer
14 years 1 months ago
Lexical Choice via Topic Adaptation for Paraphrasing Written Language to Spoken Language
Our research aims at developing a system that paraphrases written language text to spoken language style. In such a system, it is important to distinguish between appropriate and i...
Nobuhiro Kaji, Sadao Kurohashi
SPATIALCOGNITION
2004
Springer
14 years 1 months ago
Towards Dialogue Based Shared Control of Navigating Robots
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
Robert J. Ross, Hui Shi, Tillman Vierhuff, Bernd K...