Sciweavers

3913 search results - page 156 / 783
» complexity 2006
Sort
View
IJRR
2010
113views more  IJRR 2010»
15 years 2 months ago
On the Topology of Discrete Strategies
This paper explores a topological perspective of planning in the presence of uncertainty, focusing on tasks specified by goal states in discrete spaces. The paper introduces stra...
Michael Erdmann
JAR
1998
60views more  JAR 1998»
15 years 3 months ago
Elimination of Self-Resolving Clauses
It is shown how self-resolving clauses like symmetry or transitivity, or even clauses like condensed detachment, can faithfully be deleted from the clause set thus eliminating or ...
Hans Jürgen Ohlbach
FOCS
2006
IEEE
15 years 10 months ago
Heat Flow and a Faster Algorithm to Compute the Surface Area of a Convex Body
We draw on the observation that the amount of heat diffusing outside of a heated body in a short period of time is proportional to its surface area, to design a simple algorithm f...
Mikhail Belkin, Hariharan Narayanan, Partha Niyogi
COMPGEOM
2006
ACM
15 years 10 months ago
On overlays and minimization diagrams
The overlay of 2 ≤ m ≤ d minimization diagrams of n surfaces in Rd is isomorphic to a substructure of a suitably constructed minimization diagram of mn surfaces in Rd+m−1 . ...
Vladlen Koltun, Micha Sharir
ERCIMDL
2006
Springer
113views Education» more  ERCIMDL 2006»
15 years 7 months ago
Representing Aggregate Works in the Digital Library
This paper studies the challenge of representing aggregate works such as encyclopaedia, collected poems and journals in digital libraries. Reflecting on materials used by humanitie...
George Buchanan, Jeremy Gow, Ann Blandford, Jon Ri...