1449 search results - page 110 / 290 » Self-Randomized Exponentiation Algorithms |
162
click to vote
IROS
2007
IEEE
16 years 18 days ago
2007
IEEE
Abstract— Existing penalty-based haptic rendering approaches compute penetration depth in strictly translational sense and cannot properly take object rotation into account. We a...
157
click to vote
PRICAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The problem of interpreting Natural Language (NL) discourse is generally of exponential complexity. However, since interactions with users must be conducted in real time,...
112
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
Modeling consistency of style in isogenous fields of patterns (such as character patterns in a word from the same font or writer) can improve classification accuracy. Since such p...
175
click to vote
CADE
2003
Springer
16 years 6 months ago
2003
Springer
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...
175
click to vote
IWPEC
2009
Springer
16 years 26 days ago
2009
Springer
Given an undirected graph with n nodes, the Maximum Leaf Spanning Tree problem is to find a spanning tree with as many leaves as possible. When parameterized in the number of leav...