3897 search results - page 286 / 780 » complexity 2010 |
145
click to vote
GC
2010
Springer
15 years 5 months ago
2010
Springer
A new class of polyhedra is discovered—bipyramids of arbitrarily prescribed genus. A two-dimensional generalization of Fáry’s Theorem is established. A purely combinatorial de...
163
click to vote
IEEECIT
2010
IEEE
15 years 5 months ago
2010
IEEE
—As we all know, Hanoi Problem is a classical case of recursive algorithm in programming. In this paper, we study the problem in another way by numbering the peg from bottom to t...
191
click to vote
IJCGA
2010
15 years 5 months ago
2010
—A room is a simple polygon with a prespecified point, called the door, on its boundary. Search may be conducted by two guards on the boundary who keep mutual visibility at all ...
157
click to vote
LOGCOM
2010
15 years 5 months ago
2010
The logic of proofs (LP) was proposed as Gödel’s missed link between Intuitionistic and S4-proofs, but so far the tableau-based methods proposed for LPhave not explored this cl...
144
click to vote
TVCG
2010
15 years 4 months ago
2010
— We present a visualization technique for simulated fluid dynamics data that visualizes the gradient of the velocity field in an intuitive way. Our work is inspired by rheosco...