2796 search results - page 369 / 560 » The coolest path problem |
173
click to vote
NETWORKING
2008
15 years 8 months ago
2008
Previously, we identified the failure-induced receive buffer (rbuf) blocking problem in Concurrent Multipath Transfer using SCTP multihoming (CMT), and proposed CMT with a Potentia...
163
click to vote
NIPS
2004
15 years 7 months ago
2004
Semantic taxonomies such as WordNet provide a rich source of knowledge for natural language processing applications, but are expensive to build, maintain, and extend. Motivated by...
170
click to vote
AUTOMATICA
2007
15 years 6 months ago
2007
Abstract: I n this paper, the mapping between the desired camera feature vector and the desired camera pose (i.e., the position, and orientation) is investigated to develop a measu...
178
click to vote
DCG
2008
15 years 6 months ago
2008
Let S be the boundary of a convex polytope of dimension d + 1, or more generally let S be a convex polyhedral pseudomanifold. We prove that S has a polyhedral nonoverlapping unfold...
174
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper introduces a propositional encoding for lexicographic path orders in connection with dependency pairs. This facilitates the application of SAT solvers for term...