2430 search results - page 294 / 486 » Computing Tutte Polynomials |
120
Voted
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
We show that strictly positive inductive types, constructed from polynomial functors, constant exponentiation and arbitrarily nested inductive types exist in any Martin-L¨of categ...
ICALP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. A simple nonconstructive argument shows that most 3CNF formulas with cn clauses (where c is a large enough constant) are not satisfiable. It is an open question whether ...
103
Voted
ISAAC
2004
Springer
15 years 9 months ago
2004
Springer
In the Paired Pointset Traversal problem we ask whether, given two sets A = {a1, . . . , an} and B = {b1, . . . , bn} in the plane, there is an ordering π of the points such that ...
136
Voted
MDM
2004
Springer
15 years 9 months ago
2004
Springer
Data broadcasting is well known for its excellent scalability. Multi-dimensional range queries, such as spatial range queries of geographical information for location dependent se...
162
Voted
ECCV
2010
Springer
15 years 9 months ago
2010
Springer
This paper is addressing the problem of realigning broken
objects without correspondences. We consider linear transformations between
the object fragments and present the method ...