urbanc [Tue, 14 Feb 2012 00:11:17 +0000] rev 323
1st paragraph
urbanc [Mon, 13 Feb 2012 23:50:37 +0000] rev 322
1st paragraph
urbanc [Mon, 13 Feb 2012 23:31:40 +0000] rev 321
polished implementation
zhang [Mon, 13 Feb 2012 22:45:06 +0000] rev 320
Line numbers added.
urbanc [Mon, 13 Feb 2012 22:17:54 +0000] rev 319
conclusion done
urbanc [Mon, 13 Feb 2012 22:17:26 +0000] rev 318
more conclusion
urbanc [Mon, 13 Feb 2012 22:03:36 +0000] rev 317
more conclusion
urbanc [Mon, 13 Feb 2012 21:34:19 +0000] rev 316
more conclusion
urbanc [Mon, 13 Feb 2012 20:57:02 +0000] rev 315
more conclusion
urbanc [Mon, 13 Feb 2012 19:33:03 +0000] rev 314
some parts of the conclusion
urbanc [Mon, 13 Feb 2012 15:42:45 +0000] rev 313
proof idea
urbanc [Mon, 13 Feb 2012 15:35:08 +0000] rev 312
added implementation section
urbanc [Mon, 13 Feb 2012 10:57:47 +0000] rev 311
merged Xingyuan's changes
urbanc [Mon, 13 Feb 2012 10:44:42 +0000] rev 310
polished
urbanc [Mon, 13 Feb 2012 05:41:53 +0000] rev 309
more on the paper
urbanc [Mon, 13 Feb 2012 04:22:52 +0000] rev 308
more on the paper
urbanc [Mon, 13 Feb 2012 03:31:40 +0000] rev 307
assumptions
urbanc [Mon, 13 Feb 2012 00:06:59 +0000] rev 306
some polishing
urbanc [Sun, 12 Feb 2012 23:25:49 +0000] rev 305
some polishing
urbanc [Sun, 12 Feb 2012 23:20:06 +0000] rev 304
contribution section
zhang [Sun, 12 Feb 2012 15:12:50 +0000] rev 303
Correct a mistake.
zhang [Sun, 12 Feb 2012 15:05:57 +0000] rev 302
runing_inversion_3 added.
urbanc [Sun, 12 Feb 2012 14:58:47 +0000] rev 301
lates
urbanc [Sun, 12 Feb 2012 11:30:17 +0000] rev 300
correct RAG
urbanc [Sun, 12 Feb 2012 05:06:59 +0000] rev 299
small polishing
urbanc [Sun, 12 Feb 2012 04:45:20 +0000] rev 298
completed model section; vt has only state as argument
urbanc [Sat, 11 Feb 2012 19:39:50 +0000] rev 297
added picture
urbanc [Sat, 11 Feb 2012 12:29:52 +0000] rev 296
spell check; release
urbanc [Sat, 11 Feb 2012 10:09:39 +0000] rev 295
fixed problem with back
urbanc [Sat, 11 Feb 2012 09:34:46 +0000] rev 294
renamed waiting_queue -> wq_fun; cur_preced -> cprec_fun
urbanc [Sat, 11 Feb 2012 09:14:14 +0000] rev 293
some polishing
urbanc [Sat, 11 Feb 2012 08:16:11 +0000] rev 292
fixed problem with Latexsugar
urbanc [Fri, 10 Feb 2012 21:01:03 +0000] rev 291
more on paper; modified schs functions; it is still compatible with the old definition
urbanc [Fri, 10 Feb 2012 11:30:47 +0000] rev 290
more on paper
urbanc [Thu, 09 Feb 2012 16:34:18 +0000] rev 289
attempt to fix problem by Xingyuan
urbanc [Thu, 09 Feb 2012 15:00:19 +0000] rev 288
changes by Xingyuan
urbanc [Thu, 09 Feb 2012 13:05:51 +0000] rev 287
more on the specification section
urbanc [Wed, 08 Feb 2012 16:35:49 +0000] rev 286
corrections by Xingyuan
urbanc [Tue, 07 Feb 2012 01:10:34 +0000] rev 285
more on paper
urbanc [Tue, 07 Feb 2012 00:50:23 +0000] rev 284
more on paper
urbanc [Mon, 06 Feb 2012 12:08:35 +0000] rev 283
paper updatated
urbanc [Sun, 05 Feb 2012 21:00:12 +0000] rev 282
moved unused theories to Attic
zhang [Sun, 05 Feb 2012 14:29:08 +0000] rev 281
README added.
urbanc [Sat, 04 Feb 2012 22:56:14 +0000] rev 280
updated
urbanc [Sat, 04 Feb 2012 00:14:41 +0000] rev 279
slight polishing
urbanc [Fri, 03 Feb 2012 11:26:11 +0000] rev 278
a bit more on the introduction
urbanc [Thu, 02 Feb 2012 13:58:16 +0000] rev 277
slight tuning
urbanc [Wed, 01 Feb 2012 17:46:36 +0000] rev 276
more on intro
urbanc [Wed, 01 Feb 2012 17:40:00 +0000] rev 275
more on intro
urbanc [Wed, 01 Feb 2012 15:00:17 +0000] rev 274
more on intro
urbanc [Wed, 01 Feb 2012 12:00:37 +0000] rev 273
slightly more on text
zhang [Wed, 01 Feb 2012 08:16:00 +0000] rev 272
All comments added.
urbanc [Mon, 30 Jan 2012 09:44:33 +0000] rev 271
spell check
urbanc [Mon, 30 Jan 2012 09:33:39 +0000] rev 270
slight polishing
urbanc [Mon, 30 Jan 2012 08:55:27 +0000] rev 269
more text
urbanc [Mon, 30 Jan 2012 08:45:56 +0000] rev 268
more text
urbanc [Mon, 30 Jan 2012 06:46:47 +0000] rev 267
added two paragraphs to the introduction
zhang [Sun, 29 Jan 2012 09:31:03 +0000] rev 266
More explanations added by XY.
urbanc [Fri, 27 Jan 2012 23:19:10 +0000] rev 265
changed abstract, intro and IsaMakefile
zhang [Fri, 27 Jan 2012 13:50:02 +0000] rev 264
Newer version.