4403 search results - page 245 / 881 » Galois Theory of Algorithms |
148
click to vote
MM
2005
ACM
16 years 5 days ago
2005
ACM
“diorama table “ is an interactive table installation. People place physical objects on the table and projected elements such as trains, cars, houses, and trees appear and are...
166
click to vote
ISSAC
2005
Springer
16 years 3 days ago
2005
Springer
We present lifting techniques for triangular decompositions of zero-dimensional varieties, that extend the range of the previous methods. We discuss complexity aspects, and report...
151
click to vote
WADS
2005
Springer
16 years 3 days ago
2005
Springer
We consider the lower bound for building a heap in the worst case and the upper bound in the average case. We will prove that the supposedly fastest algorithm in the average case[2...
147
click to vote
ICAISC
2004
Springer
16 years 8 hour ago
2004
Springer
Model checking of temporal logic has already been proposed for automatic planning. In this paper, we introduce a simple adaptation of the ATL model checking algorithm that returns ...
183
click to vote
COMPGEOM
2003
ACM
15 years 12 months ago
2003
ACM
We define the Morse-Smale complex of a Morse function over a 3-manifold as the overlay of the descending and ascending manifolds of all critical points. In the generic case, its ...