Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

MKM
2007
Springer

favoriteEmaildiscussreport

112views Information Technology» more MKM 2007»

Spurious Disambiguation Error Detection

13 years 10 months ago

Spurious Disambiguation Error Detection

Download matita.cs.unibo.it

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 the disambiguation algorithm of [6].

Claudio Sacerdoti Coen, Stefano Zacchiroli

Real-time Traffic

Ambiguous Mathematical Notation | Formulae | MKM 2007 | Spurious Errors |

claim paper

Related Content

» Spurious Disambiguation Errors and How to Get Rid of Them

» Detecting influenza outbreaks by analyzing Twitter messages

» Tracking pointers with path and context sensitivity for bug detection in C programs

» CPBPV A ConstraintProgramming Framework for Bounded Program Verification

» Adaptive Scale Robust Segmentation for 2D Laser Scanner

» Multimodal new vocabulary recognition through speech and handwriting in a whiteboard sched...

» Scaling model checking of dataraces using dynamic information

» Study of large and highly stratified population datasets by combining iterative pruning pr...

» Distributed surveillance and reconnaissance using multiple autonomous ATVs CyberScout

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	MKM
Authors	Claudio Sacerdoti Coen, Stefano Zacchiroli

Comments (0)