47 search results - page 10 / 10 » The Influence of Argument Structure on Semantic Role Assignm... |
ENTCS
2000
14 years 11 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...
145
click to vote
GBRPR
2007
Springer
15 years 3 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...