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 (file)
index 0000000..5dec013
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 (file)
index 0000000..664204d
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 (file)
index 0000000..07cd63a
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 d6f7e029445da54f9567ec58bd4bf5a08a53814f..694f7143b34825b9041cc803753563f43037b041 100644 (file)
--- 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