3984 search results - page 256 / 797 » A Model-Driven Transformation Method |
136
click to vote
ZUM
2005
Springer
15 years 10 months ago
2005
Springer
The Community Z Tools (CZT) project is an open-source Java framework for building formal methods tools for Z and Z dialects. It also includes a set of tools for parsing, typechecki...
135
click to vote
ICIP
2010
IEEE
15 years 10 months ago
2010
IEEE
We propose a registration method to find affine transformations
between 3D objects by constructing and solving an
overdetermined system of polynomial equations. We utilize
voxel...
146
click to vote
AI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We present a performance analysis of three linear dimensionality reduction techniques: Fisher's discriminant analysis (FDA), and two methods introduced recently base...
148
Voted
MVA
2007
15 years 6 months ago
2007
In many applications, it is necessary to extract corresponding points automatically. In this study, we present a method of extracting corresponding points automatically from stere...
153
click to vote
DCC
2010
IEEE
15 years 4 months ago
2010
IEEE
This paper deals with generic transformations from ID-based key encapsulation mechanisms (IBKEM) to hybrid public-key encryption (PKE). The best generic transformation known until...