48 search results - page 7 / 10 » On Controlled Natural Languages: Properties and Prospects |
207
click to vote
ICFP
2009
ACM
16 years 4 days ago
2009
ACM
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
110
click to vote
CCR
2004
14 years 11 months ago
2004
The science of network service composition has emerged as one of the grand themes of networking research [17] as a direct result of the complexity and sophistication of emerging n...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Many safety-related and certification standards exist for developing safety-critical systems. Safety assessments are performed in practice, and system certification according to a...
93
Voted
COLING
2002
14 years 11 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...
114
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract—Polarized logic is the logic of values and continuations, and their interaction through continuation-passing style. The main limitations of this logic are the limitation...