128 search results - page 12 / 26 » AceRules: Executing Rules in Controlled Natural Language |
AAAI
1996
13 years 10 months ago
1996
This paper presents recent work using the Chill parser acquisition system to automate the construction of a natural-language interface for database queries. Chill treats parser ac...
DAGSTUHL
2004
13 years 10 months ago
2004
The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and c...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
FROCOS
2005
Springer
14 years 2 months ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
FTDCS
2004
IEEE
14 years 9 days ago
2004
IEEE
The heterogeneous nature and independent administration of geographically dispersed resources in Grid, demand the need for access control using fine-grained policies. In this pape...