5525 search results - page 922 / 1105 » Verification of Model Transformations |
155
click to vote
CGF
2008
15 years 4 months ago
2008
We present a novel approach to parameterize a mesh with disk topology to the plane in a shape-preserving manner. Our key contribution is a local/global algorithm, which combines a...
156
Voted
MBEES
2010
15 years 2 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
152
click to vote
SIAMIS
2010
15 years 2 months ago
2010
Surface registration, which transforms different sets of surface data into one common reference space, is an important process which allows us to compare or integrate the surface ...
142
click to vote
ACL
2010
15 years 2 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
146
click to vote
COLT
2010
Springer
15 years 2 months ago
2010
Springer
We define a new model of quantum learning that we call Predictive Quantum (PQ). This is a quantum analogue of PAC, where during the testing phase the student is only required to a...