1357 search results - page 165 / 272 » Compositionality in Graph Transformation |
125
click to vote
CHI
2005
ACM
16 years 4 months ago
2005
ACM
This paper presents X-PRT, a new cognitive modeling tool supporting activities ranging from interface design to basic cognitive research. X-PRT provides a graphical model developm...
123
click to vote
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
This paper presents a sparse representation of 2D planar shape through the composition of warping functions, termed formlets, localized in scale and space. Each formlet subjects t...
143
click to vote
WISE
2007
Springer
15 years 10 months ago
2007
Springer
Modeling in systems biology is concerned with using experimental information and mathematical methods to build quantitative models at different biological scales. This requires int...
143
click to vote
SIGGRAPH
2010
ACM
15 years 8 months ago
2010
ACM
Painters and illustrators commonly sketch vanishing points and lines to guide the construction of perspective images. We present a tool that gives users the ability to manipulate ...
124
click to vote
CASCON
2007
15 years 5 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...