211 search results - page 33 / 43 » Towards A Shape Analysis for Graph Transformation Systems |
164
click to vote
RTA
2011
Springer
14 years 2 months ago
2011
Springer
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
107
click to vote
APGV
2008
ACM
15 years 1 months ago
2008
ACM
There is an increasing need for methods for secure dissemination of interactive 3D graphics content, providing protection for valuable 3D models while still allowing them to be wi...
107
click to vote
SCIA
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. In medical imaging, signals acquired in non-Cartesian coordinate systems are common. For instance, CT and MRI often produce significantly higher resolution within scan p...
SMI
2008
IEEE
15 years 6 months ago
2008
IEEE
Hierarchies of patterns of features, of sub-assemblies, or of CSG sub-expressions are used in architectural and mechanical CAD to eliminate laborious repetitions from the design p...
ICCSA
2007
Springer
15 years 5 months ago
2007
Springer
Computational origami is the computer assisted study of origami as a branch of science of shapes. The origami construction is a countably finite sequence of fold steps, each consi...