450 search results - page 5 / 90 » Mathematical Formulas Extraction |
128
click to vote
SAT
2005
Springer
15 years 7 months ago
2005
Springer
We tackle the problem of finding a smallest-cardinality MUS (SMUS) of a given formula. The SMUS provides a succinct explanation of infeasibility and is valuable for applications th...
115
Voted
GREC
2003
Springer
15 years 7 months ago
2003
Springer
We present a structural analysis method for the recognition of on-line handwritten mathematical expressions based on a minimum spanning tree construction and symbol dominance. The ...
118
click to vote
WAIFI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In this paper we propose a new approach to point scalar multiplication on elliptic curves defined over fields of characteristic greater than 3. It is based on new point...
IMAGING
2004
15 years 3 months ago
2004
We examine mathematical properties of the CIEDE2000 color difference formula and illustrate that the CIEDE2000 color difference is not a continuous function of the CIELAB color pa...
107
click to vote
KI
2006
Springer
15 years 2 months ago
2006
Springer
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...