Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 3 of 3 for “"semantic unification"”.
-
Semantic unification for convergent systems
… makes two terms equal in a given theory, while semantic unification is the process that generates a basis set of such unifying substitutions. A simpler variant of the problem is semantic matching, where the substitution is made in only one of the terms. Semantic unification and matching …
-
Behavioural and Neuroimaging Studies of the Influence of Semantic Context on the Perception of Speech in Noise
Meaningful semantic context has been shown to improve comprehension of spoken sentences by young and old adults, especially in difficult listening conditions. Whether older adults benefit differently than younger adults is a topic of some controversy. I asked young (14 participants, 18-25) and …
-
Security models in rewriting logic for cryptographic protocols and browsers
… protocol analysis tool, which has extended unification capabilities modulo theories based on the new narrowing strategy we developed. We present case studies showing that appropriate protocols can be analyzed so that either attacks are found, or the absence of attacks can be proven.