450 search results - page 7 / 90 » Mathematical Formulas Extraction |
98
Voted
ISSAC
2009
Springer
15 years 8 months ago
2009
Springer
Constructive methods for matrices of multihomogeneous resultants for unmixed systems have been studied in [7, 14, 16]. We generalize these constructions to mixed systems, whose Ne...
113
click to vote
TABLEAUX
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Set theory is the common language of mathematics. Therefore, set theory plays an important r^ole in many important applications of automated deduction. In this paper, we ...
121
Voted
RR
2007
Springer
15 years 8 months ago
2007
Springer
This paper presents an extension to the Semantic Web Rule Language and a methodology to enable advanced mathematical support in SWRL rules. This solution separates mathematical and...
111
click to vote
GRAPHICSINTERFACE
2001
15 years 3 months ago
2001
We describe a technique for enhancing a user's ability to manipulate hand-printed symbolic information by automatically improving legibility and simultaneously providing imme...
92
Voted
ICIP
1995
IEEE
16 years 3 months ago
1995
IEEE
This paper presents mathematical frameworks on temporal predictiveprocessing in the MPEG video compression standard. Firstly, a coding gain is derived based on traditional predict...