Wed, 10 Nov 2010 11:59:29 +0000 added a test file
urbanc [Wed, 10 Nov 2010 11:59:29 +0000] rev 22
added a test file
Wed, 10 Nov 2010 11:53:07 +0000 my slides from the talk in Cambridge
urbanc [Wed, 10 Nov 2010 11:53:07 +0000] rev 21
my slides from the talk in Cambridge
Wed, 10 Nov 2010 11:49:45 +0000 added my slides
urbanc [Wed, 10 Nov 2010 11:49:45 +0000] rev 20
added my slides
Mon, 08 Nov 2010 01:13:09 +0000 slight tuning of proof by Chunhan
urbanc [Mon, 08 Nov 2010 01:13:09 +0000] rev 19
slight tuning of proof by Chunhan
Sat, 06 Nov 2010 23:31:53 +0000 the ALT case is done;
wu [Sat, 06 Nov 2010 23:31:53 +0000] rev 18
the ALT case is done; the other two cases: the relation is defined by not proved on inj part.
Wed, 03 Nov 2010 22:08:50 +0000 added more experiments
urbanc [Wed, 03 Nov 2010 22:08:50 +0000] rev 17
added more experiments
Wed, 03 Nov 2010 21:42:44 +0000 added initial slides for informal talk in Cambridge
urbanc [Wed, 03 Nov 2010 21:42:44 +0000] rev 16
added initial slides for informal talk in Cambridge
(0) -10 -7 +7 +10 +30 +100 +300 tip