1059 search results - page 14 / 212 » Unification-Based Semantic Interpretation |
MVA
1990
15 years 27 days 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
15 years 27 days ago
2007
117
Voted
WCRE
2005
IEEE
15 years 5 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...
105
click to vote
POPL
2012
ACM
13 years 7 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
15 years 3 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...