5671 search results - page 590 / 1135 » A Semantic Approach to Interpolation |
174
click to vote
ENTCS
2007
15 years 7 months ago
2007
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
192
click to vote
ENTCS
2002
15 years 7 months ago
2002
PLAN is a language designed for programming active networks, and can more generally be regarded as a model of mobile computation. PLAN generalizes the paradigm of imperative funct...
211
click to vote
EKAW
2010
Springer
15 years 5 months ago
2010
Springer
Social Tagging Systems (STS) empower users to classify and organize resources and to improve the retrieval performance over the tagged resources. In this paper we argue that the po...
178
click to vote
ACL
2010
15 years 5 months ago
2010
A robust dictionary of semantic frames is an essential element of natural language understanding systems that use ontologies. However, creating lexical resources that accurately c...
243
click to vote
BIRTHDAY
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...