6045 search results - page 247 / 1209 » Computable Linearizations of Well-partial-orderings |
146
click to vote
MFCS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. To make a joint decision, agents (or voters) are often required to provide their preferences as linear orders. To determine a winner, the given linear orders can be aggre...
168
click to vote
MCS
2011
Springer
14 years 11 months ago
2011
Springer
: When working with large-scale models or numerous small models, there can be a temptation to rely on default settings in proprietary software to derive solutions to the model. In ...
127
click to vote
IJCV
2012
13 years 6 months ago
2012
Abstract This paper explores the impact that landmark parametrization has in the performance of monocular, EKFbased, 6-DOF simultaneous localization and mapping (SLAM) in the conte...
137
click to vote
RTA
2000
Springer
15 years 7 months ago
2000
Springer
Linear Second-Order Unification and Context Unification are closely related problems. However, their equivalence was never formally proved. Context unification is a restriction of ...
