47 search results - page 10 / 10 » The Influence of Argument Structure on Semantic Role Assignm... |
ENTCS
2000
13 years 5 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
GBRPR
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. This paper proposes an expert peering system for information exchange. Our objective is to develop a real-time search engine for an online community where users can ask e...