1059 search results - page 109 / 212 » Unification-Based Semantic Interpretation |
CORR
1998
Springer
14 years 11 months ago
1998
Springer
Syntactic models should be descriptively adequate and parsable. A syntactic description is autonomous in the sense that it has certain explicitformal properties. Such a descriptio...
JOLLI
1998
14 years 11 months ago
1998
This paper shows how proof nets can be used to formalize the notion of “incomplete dependency” used in psycholinguistic theories of the unacceptability of center-embedded const...
101
click to vote
ECCV
1996
Springer
16 years 1 months ago
1996
Springer
The simultaneous interpretation of object behaviour from real world image sequences is a highly desirable goal in machine vision. Although this is rather a sophisticated task, one ...
87
Voted
CCS
2009
ACM
16 years 15 days ago
2009
ACM
The successful deployment of a security policy is closely related not only to the complexity of the security requirements but also to the capabilities/functionalities of the secur...
125
click to vote
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...