652 search results - page 50 / 131 » Linear Explicit Substitutions |
100
Voted
CEC
2005
IEEE
15 years 4 months ago
2005
IEEE
Abstract— Nonlinear mapping is an approach of multidimensional scaling where a high-dimensional space is transformed into a lower-dimensional space such that the topological char...
134
click to vote
DM
2008
15 years 2 months ago
2008
We construct an "orbital Tutte polynomial" associated with a dual pair M and M of matrices over a principal ideal domain R and a group G of automorphisms of the row spac...
138
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Basic proof search tactics in logic and type theory can be seen as the root-rst applications of rules in an appropriate sequent calculus, preferably without the redundancies gener...
116
click to vote
COMPGEOM
2004
ACM
15 years 8 months ago
2004
ACM
We present a new algorithm for unfolding planar polygonal linkages without self-intersection based on following the gradient flow of a “repulsive” energy function. This algor...
129
Voted
BMVC
2010
15 years 18 days ago
2010
Kernel methods yield state-of-the-art performance in certain applications such as image classification and object detection. However, large scale problems require machine learning...