443 search results - page 32 / 89 » On The Interpretation Of Natural Language Instructions |
178
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
We present smooth interpretation, a method to systematically approximate numerical imperative programs by smooth mathematical functions. This approximation facilitates the use of ...
160
click to vote
CSJM
2007
15 years 6 months ago
2007
For modeling the interpretation process of NL sentences we use the mechanisms implying semantic networks that assure syntactic – semantic text interpretation (SSI), including an...
140
click to vote
FOAL
2007
ACM
15 years 10 months ago
2007
ACM
By modeling dynamic join points, pointcuts, and advice in a defunctionalized continuation-passing style interpreter, we provide a fundamental account of these AOP mechanisms. Dyna...
180
Voted
VMCAI
2004
Springer
15 years 11 months ago
2004
Springer
Typed Assembly Languages (TALs) can be used to validate the safety of assembly-language programs. However, typing rules are usually trusted as axioms. In this paper, we show how to...
173
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...