561 search results - page 80 / 113 » A Constructive Approach to Testing Model Transformations |
123
click to vote
CVPR
2010
IEEE
14 years 9 months ago
2010
IEEE
In this paper, based on manifold harmonics, we propose a novel framework for 3D shape similarity comparison and partial matching. First, we propose a novel symmetric meanvalue rep...
CCGRID
2005
IEEE
15 years 5 months ago
2005
IEEE
Data services for the Grid have focussed so far primarily on virtualising access to distributed databases, and encapsulating file location. However, orchestration of services requ...
108
click to vote
PAMI
2008
14 years 11 months ago
2008
The Expectation Maximization (EM) algorithm is widely used for learning finite mixture models despite its greedy nature. Most popular model-based clustering techniques might yield...
58
Voted
IPM
2008
14 years 11 months ago
2008
This paper reports on the underlying IR problems encountered when dealing with the complex morphology and compound constructions found in the Hungarian language. It describes evalu...
ASPDAC
2004
ACM
15 years 3 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...