3575 search results - page 151 / 715 » Modeling Concurrency with Geometry |
102
click to vote
ENTCS
2007
15 years 4 months ago
2007
In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to...
157
click to vote
ISORC
2005
IEEE
15 years 10 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
131
click to vote
GRAPHICSINTERFACE
2007
15 years 6 months ago
2007
For the generation of freeform models, sketching interfaces have raised an increasing interest due to their intuitive approach. It is now possible to infer a 3D model directly fro...
140
click to vote
ICARCV
2006
IEEE
15 years 10 months ago
2006
IEEE
— This paper describes the dynamic modeling of linear object deformation considering geometrical constraints and contact with obstacles. Deformable linear objects such as cables ...
126
click to vote
COMPGEOM
1997
ACM
15 years 8 months ago
1997
ACM
Many algorithms developed in computational geometry are needlessly complicated and slow because they have to be prepared for very complicated, hypothetical inputs. To avoid this, ...