5671 search results - page 194 / 1135 » A Semantic Approach to Interpolation |
107
click to vote
TCS
2010
15 years 2 months ago
2010
We define a program semantics that is preserved by dependence-based slicing algorithms. It is a natural extension, to non-terminating programs, of the semantics introduced by Wei...
122
click to vote
CAISE
2004
Springer
15 years 9 months ago
2004
Springer
In this paper we introduce GMD, an abstract but rich data model for representing multidimensional information, equipped with logicbased semantics and seamlessly integrated with a f...
132
click to vote
EWSA
2004
Springer
15 years 9 months ago
2004
Springer
This paper provides an overview on the approach of the IST OMEGA project for the development of correct software for embedded systems based on the use of UML as modelling language....
125
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
Distance semantics is a robust way of handling dynamically evolving and possibly contradictory information. In this paper we show that in many cases distance-based entailments can ...
142
click to vote
AI
2000
Springer
15 years 4 months ago
2000
Springer
We present a new approach to dealing with default information based on the theory of belief functions. Our semantic structures, inspired by Adams' -semantics, are epsilon-beli...