2604 search results - page 392 / 521 » General constant expressions for system programming language... |
104
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
In this paper, we describe a new algorithm that consists in combining an eye-tracker for minimizing the fatigue of a user during the evaluation process of Interactive Evolutionary...
112
Voted
MT
1998
15 years 3 months ago
1998
Real-world natural language sentences are long and complex, and always contain unexpected grammatical constructions. It even includes noise and ungrammaticality. This paper descri...
113
click to vote
TPLP
2010
15 years 2 months ago
2010
Constraint Handling Rules (CHR) is a high-level programming language based on multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint solvers,...
132
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We study termination of programs in concurrent higherorder languages. A higher-order concurrent calculus combines features of the λ-calculus and of the message-passing c...
244
click to vote
ASPLOS
2009
ACM
16 years 4 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...