31 search results - page 3 / 7 » Ensuring Containment Constraints in Graph-based Model Transf... |
EUROPKI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Transformations of signed documents raise questions of technical and organisational nature which render the legal security of the transformed document doubtful. In partic...
SPATIALCOGNITION
2000
Springer
13 years 11 months ago
2000
Springer
We present an approach to spatial inference which is based on the procedural semantics of spatial relations. In contrast to qualitative reasoning, we do not use discrete symbolic m...
RTSS
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...
ICCV
2007
IEEE
14 years 9 months ago
2007
IEEE
An interactive human segmentation approach is described. Given regions of interest provided by users, the approach iteratively estimates segmentation via a generalized EM algorith...
HICSS
2002
IEEE
14 years 13 days ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...