450 search results - page 16 / 90 » Mathematical Formulas Extraction |
128
click to vote
SKG
2006
IEEE
15 years 6 months ago
2006
IEEE
Scientific texts domain keyword is one of the basic elements of the text high-level semantics acquisition, domain ontology building and the knowledge representation in semantic gr...
90
Voted
STOC
2003
ACM
16 years 27 days ago
2003
ACM
A real multivariate polynomial p(x1, . . . , xn) is said to sign-represent a Boolean function f : {0, 1}n {-1, 1} if the sign of p(x) equals f(x) for all inputs x {0, 1}n. We gi...
115
click to vote
TPHOL
2003
IEEE
15 years 5 months ago
2003
IEEE
Abstract. It is well known that mathematical proofs often contain (abstract) algorithms, but although these algorithms can be understood by a human, it still takes a lot of time an...
140
Voted
ENTCS
2006
15 years 19 days ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
119
Voted
PODS
2008
ACM
16 years 22 days ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...