1529 search results - page 103 / 306 » Search Space Analysis of the Linear Ordering Problem |
122
click to vote
SAT
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...
113
click to vote
ICCV
2005
IEEE
16 years 6 months ago
2005
IEEE
In this paper, we investigate the mathematical problem underlying segmentation of hybrid motions: Given a series of tracked feature correspondences between two (perspective) image...
139
click to vote
JAIR
2007
15 years 4 months ago
2007
We present a new algorithm for probabilistic planning with no observability. Our algorithm, called Probabilistic-FF, extends the heuristic forward-search machinery of Conformant-F...
167
click to vote
MST
2006
15 years 4 months ago
2006
Load balancing is a critical issue for the efficient operation of peerto-peer networks. We give two new load-balancing protocols whose provable performance guarantees are within a...
148
click to vote
ICML
2006
IEEE
16 years 4 months ago
2006
IEEE
Clustering is one of the most widely used statistical tools for data analysis. Among all existing clustering techniques, k-means is a very popular method because of its ease of pr...