5671 search results - page 679 / 1135 » A Semantic Approach to Interpolation |
205
click to vote
SACMAT
2006
ACM
16 years 1 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
172
Voted
IWINAC
2005
Springer
16 years 17 days ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...
185
Voted
GRID
2004
Springer
16 years 14 days ago
2004
Springer
Locating resources of interest in a large resourceintensive environment is a challenging problem. In this paper we present research on addressing this problem through the developm...
162
click to vote
SBIA
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The aim of this paper is to study a family of logics that approximates classical inference, in which every step in the approximation can be decided in polynomial time. Fo...
226
click to vote
WEBDB
2004
Springer
16 years 12 days ago
2004
Springer
Current approaches for answering queries with imprecise constraints require users to provide distance metrics and importance measures for attributes of interest. In this paper we ...