1357 search results - page 151 / 272 » Compositionality in Graph Transformation |
140
Voted
JGAA
2002
15 years 3 months ago
2002
We address in this paper the problem of constructing embeddings of planar graphs satisfying declarative, user-defined topological constraints. The constraints consist each of a cy...
109
click to vote
ISBI
2004
IEEE
16 years 4 months ago
2004
IEEE
Microscopy imaging often suffers from limited depth-offocus. However, the specimen can be `optically sectioned' by moving the object along the optical axis; different areas a...
133
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Monads are a useful abstraction of computation, as they model diverse computational effects such as stateful computations, exceptions and I/O in a uniform manner. Their potential ...
137
click to vote
ICAPR
2009
Springer
15 years 10 months ago
2009
Springer
Morphological operators designed for grey-scale functions process every points of the space identically whatever their luminance. In many situations however, it is interesting to ...
156
click to vote
DAC
1999
ACM
15 years 8 months ago
1999
ACM
This paper presents a novel approach for synthesis of analog systems from behavioral VHDL-AMS specifications. We implemented this approach in the VASE behavioral-synthesis tool. ...