3557 search results - page 63 / 712 » Authoring Presentation for OpenMath |
233
click to vote
SIGMOD
2012
ACM
13 years 8 months ago
2012
ACM
Computational experiments have become an integral part of the scientific method, but reproducing, archiving, and querying them is still a challenge. The first barrier to a wider...
148
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
Abstract. The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory a...
132
click to vote
MOC
2000
15 years 5 months ago
2000
Abstract. We show that an asymptotic summation method, recently proposed by the authors, can be conveniently applied to slowly convergent power series whose coefficients are ration...
134
click to vote
COLING
2010
15 years 15 days ago
2010
We go beyond simple propositional meaning extraction and present experiments in determining which propositions in text the author believes. We show that deep syntactic parsing hel...
156
click to vote
IJNSEC
2011
15 years 14 days ago
2011
Shen and Chen proposed a novel key management scheme for dynamic access control in a hierarchy. In this article, the authors shall present an improved version of Shen and Chen’s...