4581 search results - page 94 / 917 » Computing Transformation Semigroups |
128
click to vote
GG
2010
Springer
15 years 2 months ago
2010
Springer
We introduce an analysis method for graph transformation systems which checks that certain forbidden graphs are not reachable from the start graph. These forbidden graphs are speci...
96
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Complexity in concurrent or distributed systems can be managed by dividing component into smaller components. However, such transformations change the coordination behaviour betwe...
111
Voted
CVPR
1998
IEEE
16 years 4 months ago
1998
IEEE
We develop a local image-correspondence algorithm which performs well near occluding boundaries. Unlike traditional robust methods, our method can find correspondences when the on...
125
Voted
EMMCVPR
2009
Springer
15 years 9 months ago
2009
Springer
7th International Conference on Energy Minimization Methods in Computer Vision and Pattern Recognition, Bonn, Germany, August 24-27, 2009 Medical image segmentation appears to be ...
131
click to vote
COMPSAC
2008
IEEE
15 years 9 months ago
2008
IEEE
2. Previous studies on end-user computing The development of Web applications should be supported by business professionals themselves since Web applications must be modified frequ...