6045 search results - page 247 / 1209 » Computable Linearizations of Well-partial-orderings |
MFCS
2009
Springer
14 years 28 days 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...
MCS
2011
Springer
13 years 3 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 ...
IJCV
2012
11 years 10 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...
RTA
2000
Springer
13 years 12 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 ...
ICPP
1996
IEEE
14 years 16 days ago
1996
IEEE
Abstract