Sciweavers

6618 search results - page 301 / 1324
» Natural Logic for Natural Language
Sort
View
FOAL
2007
ACM
15 years 10 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith
DESRIST
2009
Springer
115views Education» more  DESRIST 2009»
15 years 10 months ago
Ontological design
In this paper, we describe the concept of ontological design. We show how ontologies can be used as cognitive maps of complex, ill-structured, plastic problems. They can be used t...
Arkalgud Ramaprasad, Sridhar S. Papagari
ENTCS
2008
106views more  ENTCS 2008»
15 years 6 months ago
Reduction Semantics and Formal Analysis of Orc Programs
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
Musab AlTurki, José Meseguer
ESOP
2012
Springer
14 years 2 months ago
The Call-by-Need Lambda Calculus, Revisited
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
Stephen Chang, Matthias Felleisen
EACL
2010
ACL Anthology
15 years 8 months ago
Towards Empirical Evaluation of Affective Tactical NLG
One major aim of research in affective natural language generation is to be able to use language intelligently to induce effects on the emotions of the reader/ hearer. Although va...
Ielka van der Sluis, Chris Mellish