3984 search results - page 617 / 797 » A Model-Driven Transformation Method |
151
click to vote
POPL
2010
ACM
15 years 5 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
152
click to vote
ASE
2008
15 years 5 months ago
2008
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
140
click to vote
CGF
2010
15 years 5 months ago
2010
For each scanned object 3D triangulation laser scanners deliver multiple sweeps corresponding to multiple laser motions and orientations. The problem of aligning these scans has b...
154
click to vote
COMGEO
2010
ACM
15 years 5 months ago
2010
ACM
: We present a method to compute the exact topology of a real algebraic surface S, implicitly given by a polynomial f Q[x,y,z] of arbitrary total degree N. Additionally, our analy...
121
click to vote
CGF
2008
15 years 5 months ago
2008
Recently, it has become increasingly popular to represent animations not by means of a classical skeleton-based model, but in the form of deforming mesh sequences. The reason for ...