2604 search results - page 304 / 521 » General constant expressions for system programming language... |
137
click to vote
CLEF
2006
Springer
15 years 8 months ago
2006
Springer
This paper presents our bilingual question-answering system MUSCLEF. We underline the difficulties encountered when shifting from a mono to a cross-lingual system, then we focus o...
152
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...
173
click to vote
CIARP
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Parallel texts are enriched by alignment algorithms, thus establishing a relationship between the structures of the implied languages. Depending on the alignment level, t...
137
click to vote
OOPSLA
2005
Springer
15 years 10 months ago
2005
Springer
This paper describes a type system that is capable of expressing and enforcing immutability constraints. The speonstraint expressed is that the abstract state of the object to whi...
106
click to vote
ICALP
1990
Springer
15 years 8 months ago
1990
Springer
A system of hierarchical, fully recursive types in a truly imperative language allows program fragments written for small types to be reused for all larger types. To exploit this ...