1059 search results - page 14 / 212 » Unification-Based Semantic Interpretation |
MVA
1990
13 years 10 months ago
1990
An industrial vision system is presented which is designed general enough not only to recognize parts but also to evaluate their quality, inspect the environment, and control a se...
VISAPP
2007
13 years 10 months ago
2007
WCRE
2005
IEEE
14 years 3 months ago
2005
IEEE
We apply static analysis and symbolic interpretation techniques to reverse engineer the semantics of legacy assembler code. We examine the case of IBM-1800 programs in detail. Fro...
POPL
2012
ACM
12 years 5 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
ECAI
1994
Springer
14 years 1 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...