17129 search results - page 464 / 3426 » Applied Computing |
134
click to vote
SC
2003
ACM
16 years 3 days ago
2003
ACM
The Space Simulator is a 294-processor Beowulf cluster with
175
click to vote
CIE
2010
Springer
15 years 11 months ago
2010
Springer
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatis...
156
click to vote
ARITH
1999
IEEE
15 years 11 months ago
1999
IEEE
Quotients, reciprocals, square roots and square root reciprocals all have the property that infinitely precise
133
click to vote
FCT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. It is proved that everywhere-dense Min 2SAT and everywheredense Min Eq both have polynomial time approximation schemes.
186
click to vote
ISTCS
1997
Springer
15 years 11 months ago
1997
Springer
We study the subtree isomorphism problem: Given trees H and G, find a subtree of G which is isomorphic to H or decide that there is no