3440 search results - page 419 / 688 » Logics For Context-Free Languages |
209
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
334
click to vote
CICLING
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
189
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper presents a language, based on transaction logic, for specifying dynamic authorisation policies, i.e., rules governing actions that may depend on and update the authoris...
191
click to vote
CLEF
2006
Springer
15 years 11 months ago
2006
Springer
The first Answer Validation Exercise (AVE) has been launched at the Cross Language Evaluation Forum 2006. This task is aimed at developing systems able to decide whether the answer...
271
click to vote
DILS
2008
Springer
15 years 9 months ago
2008
Springer
With over 80 file formats to represent various chemical attributes, the conversion between one format and another is invariably lossy due to informal specifications. In contrast, t...