3154 search results - page 347 / 631 » Computing Closed Skycubes |
170
click to vote
ICS
2005
Tsinghua U.
16 years 6 days ago
2005
Tsinghua U.
Given the importance of parallel mesh generation in large-scale scientific applications and the proliferation of multilevel SMTbased architectures, it is imperative to obtain ins...
156
click to vote
IMR
2005
Springer
16 years 6 days ago
2005
Springer
: This paper describes an approach to smooth the surface and improve the quality of quadrilateral/hexahedral meshes with feature preserved using geometric flow. For quadrilateral ...
153
click to vote
MFCS
2005
Springer
16 years 6 days ago
2005
Springer
A partial information algorithm for a language A computes, for some fixed m, for input words x1, . . . , xm a set of bitstrings containing χA(x1, . . . , xm). E.g., p-selective, ...
166
click to vote
POLICY
2005
Springer
16 years 6 days ago
2005
Springer
Autonomic systems are needed to self-manage the increasing complexity of pervasive communications access and the ubiquitous computing services it offers to humans. Policy based go...
211
click to vote
RTA
2005
Springer
16 years 6 days ago
2005
Springer
We present a new method for proving termination of term rewriting systems automatically. It is a generalization of the match bound method for string rewriting. To prove that a term...