5510 search results - page 61 / 1102 » Mathematics |
116
Voted
AISC
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Notations are central for understanding mathematical discourse. Readers would like to read notations that transport the meaning well and prefer notations that are familia...
129
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
141
Voted
IEE
2008
15 years 3 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
111
click to vote
SCIENTOMETRICS
2010
15 years 1 months ago
2010
This paper revisits an aspect of citation theory (i.e., citer motivation) with respect to the Mathematical Review system and the reviewer’s role in mathematics. We focus on a se...
167
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...