Sciweavers

3591 search results - page 363 / 719
» Typing linear constraints
Sort
View
ENTCS
2006
192views more  ENTCS 2006»
15 years 6 months ago
Model Transformation From VisualOCL to OCL Using Graph Transformation
In this paper we present a model transformation from a visual representation (VisualOCL) of the Object Constraint Language (OCL) to the textual one using graph transformation. Sta...
Karsten Ehrig, Jessica Winkelmann
PR
2006
122views more  PR 2006»
15 years 6 months ago
Integration of fuzzy spatial relations in deformable models - Application to brain MRI segmentation
This paper presents a general framework to integrate a new type of constraints, based on spatial relations, in deformable models. In the proposed approach, spatial relations are r...
Olivier Colliot, Oscar Camara, Isabelle Bloch
LOBJET
2000
134views more  LOBJET 2000»
15 years 6 months ago
Transparent Dynamic Database Evolution from Java
: With the increasing provision by the ODMG standard and commercial OODBMS products for transparent access to the traditional database functionality of an OODBMS from Java, there i...
Awais Rashid, Peter Sawyer
RSA
2010
81views more  RSA 2010»
15 years 5 months ago
Percolation of arbitrary words in one dimension
We consider a type of long-range percolation problem on the positive integers, motivated by earlier work of others on the appearance of (in)finite words within a site percolation...
Geoffrey R. Grimmett, Thomas M. Liggett, Thomas Ri...
CORR
2011
Springer
169views Education» more  CORR 2011»
14 years 10 months ago
Percolation in the Secrecy Graph
— Secrecy graphs model the connectivity of wireless networks under secrecy constraints. Directed edges in the graph are present whenever a node can talk to another node securely ...
Amites Sarkar, Martin Haenggi