5671 search results - page 803 / 1135 » A Semantic Approach to Interpolation |
194
click to vote
ENTCS
2000
15 years 6 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...
195
click to vote
MTA
2000
15 years 6 months ago
2000
Object-level image retrieval is an active area of research. Given an image, a human observerdoesnot see randomdots of colors. Rather,he she observesfamiliarobjectsin the image. The...
177
click to vote
DSS
2008
15 years 6 months ago
2008
The Web is a universal repository of human knowledge and culture which has allowed unprecedented sharing of ideas and information in a scale never seen before. It can also be cons...
183
Voted
PVLDB
2008
15 years 6 months ago
2008
Data integration systems often provide a uniform query interface, called a mediated schema, to a multitude of data sources. To answer user queries, such systems employ a set of se...
203
click to vote
ER
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...