We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
In this paper we present a natural language interface architecture, which is used for accessing FAQ knowledge bases. Since one of the main obstacles to the efficient use of natura...
—Existing works for semantic trajectory data analysis have focused on the intersection of trajectories with application important geographic information and the use of the speed ...
Many research studies adopt manually selected patterns for semantic relation extraction. However, manually identifying and discovering patterns is time consuming and it is difficu...
Wenbo Wang, Christopher Thomas, Amit P. Sheth, Vic...
Standard semantic accounts of the equative ascribe it an `at least' meaning, deriving an `exactly' reading when necessary via scalar implicature. I argue for a particular...