1588 search results - page 121 / 318 » Modular action language |
108
Voted
LREC
2008
15 years 5 months ago
2008
This paper presents a series of tools for the extraction of specialized corpora from the web and its subsequent analysis mainly with statistical techniques. It is an integrated sy...
139
Voted
ENTCS
2007
15 years 3 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
122
Voted
ML
2006
ACM
15 years 3 months ago
2006
ACM
Higher-order typed languages, such as ML, provide strong support for data and type abn. While such abstraction is often viewed as costing performance, there are situations where i...
140
Voted
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...
110
Voted
AIIDE
2007
15 years 5 months ago
2007
This paper presents a novel learning framework to provide computer game agents the ability to adapt to the player as well as other game agents. Our technique generally involves a ...