IW Meeting 2009-09-24

From Inference Web

Revision as of 18:11, 24 September 2009 by Li (Talk | contribs)
(diff) ← Older revision | Current revision (diff) | Newer revision → (diff)
Jump to: navigation, search

agenda

notes

diff: show improvement

we discussed ways to represent and present difference to Geoff

  • table presentation

  • graph presentation (compare an improved proof with (i) the original proof)

  • browser based presentation (switch between two alternative proofs in browser)

Retrieved from "http://inference-web.org/wiki/IW_Meeting_2009-09-24"
Facts about IW Meeting 2009-09-24RDF feed
AfterIW Meeting 2009-09-17  +
Date24 September 2009  +
Navigation