450 search results - page 21 / 90 » Mathematical Formulas Extraction |
107
Voted
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
Many recent advances in complex domains such as Natural Language Processing (NLP) have taken a discriminative approach in conjunction with the global application of structural and...
122
click to vote
CASC
2005
Springer
15 years 6 months ago
2005
Springer
The behavior of the Cayley-Dixon resultant construction and the structure of Dixon matrices are analyzed for composed polynomial systems constructed from a multivariate system in w...
101
Voted
LPAR
2005
Springer
15 years 6 months ago
2005
Springer
Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system sat...
78
Voted
SIAMJO
2008
15 years 15 days ago
2008
We provide a rule to calculate the subdifferential of the pointwise supremum of an arbitrary family of convex functions defined on a real locally convex topological vector space. ...
AAAI
2007
15 years 2 months ago
2007
The goal of information extraction is to extract database records from text or semi-structured sources. Traditionally, information extraction proceeds by first segmenting each ca...