3809 search results - page 563 / 762 » Associative language descriptions |
163
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. In this paper we present Jam, an extension of the Java language supporting mixins, that is, parametric heir classes. A mixin declaration in Jam is similar to a Java heir ...
195
click to vote
CPAIOR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...
237
click to vote
ISARCS
2010
15 years 9 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
180
click to vote
APAL
2002
15 years 7 months ago
2002
The paper introduces a semantics for the language of classical first order logic supplemented with the additional operators and . This semantics understands formulas as tasks. An ...
177
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In many applications of natural language processing (NLP) it is necessary to determine the likelihood of a given word combination. For example, a speech recognizer may ne...