801 search results - page 119 / 161 » The Core Language of Aldwych |
ESOP
2000
Springer
15 years 1 months ago
2000
Springer
We present a module calculus for studying a simple model of link-time compilation. The calculus is stratified into a term calculus, a core module calculus, and a linking calculus. ...
ASPLOS
2008
ACM
14 years 11 months ago
2008
ACM
Multi-core processors, with low communication costs and high availability of execution cores, will increase the use of execution and compilation models that use short threads to e...
ACTA
2010
14 years 10 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
SIGIR
2010
ACM
15 years 1 months ago
2010
ACM
The retrieval of sentences is a core task within Information Retrieval. In this poster we employ a Language Model that incorporates a prior which encodes the importance of sentenc...
FLAIRS
2008
15 years 2 days ago
2008
Truly generic and reusable intelligent tutoring software architectures have remained elusive. As part of our effort to develop tutoring systems for simulations of ill-defined doma...