3557 search results - page 195 / 712 » Authoring Presentation for OpenMath |
154
click to vote
BMVC
2002
15 years 9 months ago
2002
In recent work the authors proposed a wide-ranging method for estimating parameters that constrain image feature locations and satisfy a constraint not involving image data. The p...
157
click to vote
FLAIRS
2007
15 years 8 months ago
2007
The goal of the TICK data management system is to make online publication of the fruits of research as easy as the publication of opinions on weblogs. In order to avoid the reinve...
192
click to vote
ANTS
2008
Springer
15 years 8 months ago
2008
Springer
In previous work, the first author developed an algorithm for the computation of Hilbert modular forms. In this paper, we extend this to all totally real number fields of even degr...
168
click to vote
DNIS
2005
Springer
15 years 8 months ago
2005
Springer
It is well known that context plays an important role in the meaning of a work of art. This paper addresses the dynamic context of a collection of linked multimedia documents, of ...
144
click to vote
CSL
2008
Springer
15 years 8 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...