443 search results - page 27 / 89 » On The Interpretation Of Natural Language Instructions |
TPHOL
1999
IEEE
15 years 4 months ago
1999
IEEE
Abstract. We present a generic approach to readable formal proof documents, called Intelligible semi-automated reasoning (Isar). It addresses the major problem of existing interact...
AROBOTS
1998
14 years 11 months ago
1998
We describe a uniform technique for representing both sensory data and the attentional state of an agent using a subset of modal logic with indexicals. The resulting representation...
194
click to vote
POPL
2005
ACM
16 years 5 days ago
2005
ACM
We describe a unified framework for random interpretation that generalizes previous randomized intraprocedural analyses, and also extends naturally to efficient interprocedural an...
109
click to vote
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
—This paper presents Anahita Processor Description Language (APDL) for generation of retargetable processor design tool sets. The emphasis is on the applicability of the generate...
110
click to vote
ADBIS
2000
Springer
15 years 3 months ago
2000
Springer
In this paper we describe an approach to representation of data and knowledge using two technologies: XML and regular expressions in a domain of natural language syntactic analysis...