This paper presents a new method for solving diierential{algebraic equation systems using a mixed symbolic and numeric approach. Discretization formu-lae representing the numerical integration algorithm are symbolically inserted into the diierential{algebraic equation model. The symbolic formulae manipulation algorithm of the model translator treats these additional equations in the same way as...

In this paper, we propose an improved numeric character recognition method which can recognize numeric characters well under low-illuminated and shade-illuminated environment. The LN(Local Normalization) preprocessing method is used in order to enhance low-illuminated and shade-illuminated image quality. The reading area is detected using line segment information extracted from the illumination...

Effective search control for numeric planning domains, in which appropriate numeric resource usage is critical to solving the problem, remains an open challenge in domainindependent planning. Most real-world problems rely on metric resources such as energy, money, fuel or materials. Despite the importance of numbers, few heuristics have been proposed to guide search in such domains. Hoffmann’s ...