2200 search results - page 103 / 440 » The Generalized Pignistic Transformation |
POPL
2012
ACM
12 years 4 months ago
2012
ACM
Interpolation is an important technique in verification and static analysis of programs. In particular, interpolants extracted from proofs of various properties are used in invar...
SIGMOD
2007
ACM
14 years 9 months ago
2007
ACM
This paper investigates a class of transform queries proposed by XQuery Update [6]. A transform query is defined in terms of XML update syntax. When posed on an XML tree T, it ret...
SAC
2006
ACM
14 years 3 months ago
2006
ACM
Transforming models is a critical activity in Model Driven Engineering (MDE). With the expected adoption of the OMG QVT standard for model transformation language it is anticipate...
ICCV
2003
IEEE
14 years 11 months ago
2003
IEEE
3D surface classification is a fundamental problem in computer vision and computational geometry. Surfaces can be classified by different transformation groups. Traditional classi...
ISBI
2006
IEEE
14 years 10 months ago
2006
IEEE
We present a method to analyse the variability of the spine shape using rigid transforms. The spine was expressed as a set of rigid transforms that superpose local coordinates sys...