Sciweavers

3457 search results - page 163 / 692
» A Symbol Is Not a Symbol
Sort
View
ECAI
1994
Springer
15 years 10 months ago
Interpreting Common Words in Context: a Symbolic Approach
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...
Violaine Prince
LICS
1992
IEEE
15 years 10 months ago
Symbolic Model Checking for Real-time Systems
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifak...
DAC
1990
ACM
15 years 10 months ago
Sequential Circuit Verification Using Symbolic Model Checking
Jerry R. Burch, Edmund M. Clarke, Kenneth L. McMil...