450 search results - page 34 / 90 » Mathematical Formulas Extraction |
CIARP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Distinguished regions can be detected with high repeatability in different images of the same scene. Two definitions of distinguished regions of an image in a mathemati...
MKM
2005
Springer
14 years 3 months ago
2005
Springer
In mathematical textbooks matrices are often represented as objects of indefinite size containing abbreviations. To make the knowledge implicitly given in these representations av...
PADL
2012
Springer
12 years 5 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...
DAC
2001
ACM
14 years 11 months ago
2001
ACM
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
ICTAI
2006
IEEE
14 years 3 months ago
2006
IEEE
In this paper a new approach for computing Strong Backdoor sets of boolean formula in conjunctive normal form (CNF) is proposed. It makes an original use of local search technique...