3827 search results - page 108 / 766 » The Epsilon Generation Language |
217
click to vote
POPL
2001
ACM
16 years 4 months ago
2001
ACM
Current verification condition (VC) generation algorithms, such as weakest preconditions, yield a VC whose size may be exponential in the size of the code fragment being checked. ...
126
click to vote
PLDI
1997
ACM
15 years 8 months ago
1997
ACM
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
128
click to vote
IJCNLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Lexical Conceptual Structure (LCS) represents verbs as semantic structures with a limited number of semantic predicates. This paper attempts to exploit how LCS can be use...
119
click to vote
SGAI
2005
Springer
15 years 10 months ago
2005
Springer
SkillSum is an Artificial Intelligence (AI) and Natural Language Generation (NLG) system that produces short feedback reports for people who are taking online tests which check th...
137
click to vote
SAC
2003
ACM
15 years 9 months ago
2003
ACM
Traditional design and implementation of large atmospheric models is a difficult, tedious and error prone task. With the CTADEL project we investigate a new method of code genera...