4581 search results - page 198 / 917 » Computing Transformation Semigroups |
154
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
The U.S. military is in the midst of a transformation. While business leaders moved quickly to put computing power in the hands of individuals, the military establishment has been...
164
click to vote
IPPS
2007
IEEE
16 years 25 days ago
2007
IEEE
In the general area of high-performance computing, object-oriented methods have gone largely unnoticed. In contrast, the Computational Neighborhood (CN), a framework for parallel ...
172
click to vote
MKM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
189
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Projection computation is a generalization of second-order quantifier elimination, which in turn is closely related to the computation of forgetting and of uniform interpolants. O...
189
click to vote
LCR
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Modern dialects of Fortran enjoy wide use and good support on highperformance computers as performance-oriented programming languages. By providing the ability to express...