368 search results - page 10 / 74 » Sphere Methods for LP |
LOGCOM
2010
14 years 10 months ago
2010
The logic of proofs (LP) was proposed as Gödel’s missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for LPhave not explored this cl...
145
click to vote
HCI
2011
14 years 3 months ago
2011
In this paper, a method for estimating the pen tip position of customized haptic device attachments is presented. Least squares sphere fitting is applied to the acquired point clou...
100
click to vote
HCI
2009
14 years 9 months ago
2009
Circular anchored maps have been proposed as a drawing technique to acquire knowledge from bipartite graphs, where nodes in one set are arranged on a circumference. However, the re...
ISVC
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. This paper presents a quantitative evaluation of the accuracy of different sphere-tree construction methods when they are used in deformable bodies. The methods evaluate...
91
Voted
GLOBECOM
2008
IEEE
15 years 24 days ago
2008
IEEE
—In this paper, we present a near ML-achieving sphere search technique that reduces the number of search operations significantly over existing sphere decoding (SD) algorithms. ...