Sciweavers

279 search results - page 6 / 56
» An Evaluation Framework for Controlled Natural Languages
Sort
View
UML
2005
Springer
15 years 11 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
15 years 7 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
16 years 6 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
15 years 11 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
15 years 11 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...