4581 search results - page 441 / 917 » Computing Transformation Semigroups |
209
Voted
JAPLL
2010
15 years 6 months ago
2010
The previously introduced algorithm SQEMA computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend SQEMA with an additional rule...
176
click to vote
JEI
2010
15 years 6 months ago
2010
Abstract. We present an innovative approach to the objective quality evaluation that could be computed using the mean difference between the original and tested images in different...
210
Voted
PPSN
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Taking inspiration from approximate ranking, this paper investigates the use of rank-based Support Vector Machine as surrogate model within CMA-ES, enforcing the invarian...
149
click to vote
ECEASST
2010
15 years 5 months ago
2010
This short paper explores the potential of embedding-based graph rewriting as a tool for understanding natural computing, and in particular self-assembly. The basic point of view i...
238
Voted
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper presents a method for vote-based 3D shape recognition and registration, in particular using mean shift on 3D pose votes in the space of direct similarity transforms for...