443 search results - page 46 / 89 » On The Interpretation Of Natural Language Instructions |
120
click to vote
CSFW
2007
IEEE
15 years 3 months ago
2007
IEEE
We present interpretations of type systems for secure information flow in Hoare logic, complementing previous encodings in binary (e.g. relational) program logics. Treating base-l...
105
click to vote
RAS
2010
14 years 10 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...
157
click to vote
POPL
2001
ACM
16 years 4 days ago
2001
ACM
We present a variant of Proof-Carrying Code (PCC) in which the trusted inference rules are represented as a higher-order logic program, the proof checker is replaced by a nondeter...
105
click to vote
VEE
2005
ACM
15 years 5 months ago
2005
ACM
Virtual machines (VMs) are commonly used to distribute programs in an architecture-neutral format, which can easily be interpreted or compiled. A long-running question in the desi...
139
click to vote
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...