2200 search results - page 103 / 440 » The Generalized Pignistic Transformation |
144
Voted
POPL
2012
ACM
13 years 11 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...
207
Voted
SIGMOD
2007
ACM
16 years 4 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...
151
click to vote
SAC
2006
ACM
15 years 10 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...
113
Voted
ICCV
2003
IEEE
16 years 5 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...
116
Voted
ISBI
2006
IEEE
16 years 4 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...