9 search results - page 1 / 2 » ams 1995 |
AMS
1995
Springer
13 years 8 months ago
1995
Springer
SIGCSE
1995
ACM
13 years 8 months ago
1995
ACM
We present a package which provides a visually oriented simulation of the execution of machine and assembly language programs on a simple computer. The programs am written for Hyp...
STOC
1996
ACM
13 years 9 months ago
1996
ACM
Abstract. Most phylogenetics literature and construction methods based upon characters presume monomorphism (one state per character per species), yet polymorphism (multiple states...
STOC
1995
ACM
13 years 8 months ago
1995
ACM
We show that a parallel repetition of any two-prover one-round proof system (MIP(2, 1)) decreases the probability of error at an exponential rate. No constructive bound was previou...
SIAMJO
2000
13 years 4 months ago
2000
The SQAP-polytope was associated to quadratic assignment problems with a certain symmetric objective function structure by Rijal (1995) and Padberg and Rijal (1996). We derive a te...