425 search results - page 71 / 85 » Controlling a Language Generation Planner |
ASPLOS
2008
ACM
13 years 9 months ago
2008
ACM
Industry vendors hesitate to disseminate proprietary applications to academia and third party vendors. By consequence, the benchmarking process is typically driven by standardized...
VL
2010
IEEE
13 years 5 months ago
2010
IEEE
Many errors in spreadsheet formulas can be avoided if spreadsheets are built automatically from higher-level models that can encode and enforce consistency constraints. However, d...
WWW
2009
ACM
14 years 8 months ago
2009
ACM
We present a static control-flow analysis for JavaScript programs running in a web browser. Our analysis tackles numerous challenges posed by modern web applications including asy...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
Stigmergy is usually associated with semantically simple problems such as routing. It can be applied to more complex problems by encoding them in the environment through which sti...
HASE
2007
IEEE
14 years 1 months ago
2007
IEEE
Fault Tree Analysis (FTA) is a safety-analysis technique that has been recently extended to accommodate product-line engineering for critical domains. This paper describes a tool-...