From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 28 May 2007 09:01:38 +0000 (+0000)
Subject: added missing PDFs and spurious error papers
X-Git-Tag: make_still_working~6281
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7c8b19607fe15a92603113275d016724db8f09c7;p=helm.git

added missing PDFs and spurious error papers
---

diff --git a/helm/www/matita/PAPERS/disambiguation-errors.pdf b/helm/www/matita/PAPERS/disambiguation-errors.pdf
new file mode 100644
index 000000000..5dec013e3
Binary files /dev/null and b/helm/www/matita/PAPERS/disambiguation-errors.pdf differ
diff --git a/helm/www/matita/PAPERS/disambiguation.pdf b/helm/www/matita/PAPERS/disambiguation.pdf
new file mode 100644
index 000000000..664204d70
Binary files /dev/null and b/helm/www/matita/PAPERS/disambiguation.pdf differ
diff --git a/helm/www/matita/PAPERS/notation.pdf b/helm/www/matita/PAPERS/notation.pdf
new file mode 100644
index 000000000..07cd63a18
Binary files /dev/null and b/helm/www/matita/PAPERS/notation.pdf differ
diff --git a/helm/www/matita/papers.shtml b/helm/www/matita/papers.shtml
index d6f7e0294..694f7143b 100644
--- a/helm/www/matita/papers.shtml
+++ b/helm/www/matita/papers.shtml
@@ -12,7 +12,8 @@
     <span class="pdf_logo">.pdf</span>
   </a>
   <span class="paper_info">
-    Accepted for publication in the proceedings of MKM07
+    Accepted for publication in the proceedings of MKM 2007: The 6th
+    International Conference on Mathematical Knowledge Management.
   </span><br/>
   <span class="paper_abstract">
     In this paper we address the problem of reconstructing a
@@ -24,6 +25,31 @@
   </span>
   </li>
   
+  <li class="paper">
+  <span class="paper_author">
+    Claudio Sacerdoti Coen, Stefano Zacchiroli
+  </span><br/>
+  <span class="paper_title">
+    Spurious Disambiguation Error Detection
+  </span>
+  <a class="paper_download" href="PAPERS/disambiguation-errors.pdf">
+    <span class="pdf_logo">.pdf</span>
+  </a>
+  <span class="paper_info">
+    Accepted for publication in the proceedings of MKM 2007: The 6th
+    International Conference on Mathematical Knowledge Management.
+  </span><br/>
+  <span class="paper_abstract">
+    The disambiguation approach to the input of formulae enables the user to
+    type correct formulae in a terse syntax close to the usual ambiguous
+    mathematical notation. When it comes to incorrect formulae we want to
+    present only errors related to the interpretation meant by the user, hiding
+    errors related to other interpretations (spurious errors). We propose a
+    heuristic to recognize spurious errors, which has been integrated with our
+    former efficient disambiguation algorithm.
+  </span>
+  </li>
+  
   <li class="paper">
   <span class="paper_author">
     Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, Stefano Zacchiroli