3690 search results - page 255 / 738 » Computation with classical sequents |
108
Voted
ICRA
2010
IEEE
14 years 11 months ago
2010
IEEE
— Classically, the inverse kinematics is performed by computing the singular value decomposition of the matrix to invert. This enables a very simple writing of the algorithm. How...
105
Voted
MVA
2010
14 years 11 months ago
2010
In this paper, an unsupervised learning algorithm, neighborhood linear embedding (NLE), is proposed to discover the intrinsic structures such as neighborhood relationships, global ...
130
click to vote
ORDER
2010
14 years 11 months ago
2010
Embedding a partially ordered set into a product of chains is a classical way to encode it. Such encodings have been used in various fields such as object oriented programming or ...
128
Voted
FSTTCS
2010
Springer
14 years 10 months ago
2010
Springer
Computing the Dodgson Score of a candidate in an election is a hard computational problem, which has been analyzed using classical and parameterized analysis. In this paper we reso...
113
Voted
ICPR
2010
IEEE
14 years 10 months ago
2010
IEEE
Verification decisions are often based on second order statistics estimated from a set of samples. Ongoing growth of computational resources allows for considering more and more fe...