1672 search results - page 137 / 335 » Interactive Mathematical Documents |
122
click to vote
MICS
2008
15 years 3 months ago
2008
The disambiguation approach to the input of formulae enables users of mathematical assistants to type correct formulae in a terse syntax close to the usual ambiguous mathematical n...
105
click to vote
HRI
2007
ACM
15 years 8 months ago
2007
ACM
The Human Robot Interaction 2007 conference hosted a video session, in which movies of interesting, important, illustrative, or humorous HRI research moments are shown. This paper...
166
click to vote
AIMSA
2004
Springer
15 years 9 months ago
2004
Springer
PubMiner, an intelligent machine learning based text mining system for mining biological information from the literature is introduced. PubMiner utilize natural language processing...
133
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper proposes a synthetic in vitro circuit that aims at regulating the rate of RNA transcription through positive feedback interactions. This design is dual to a previous...
132
click to vote
DALT
2004
Springer
15 years 9 months ago
2004
Springer
Declarative modelling approaches in principle assume a notion of representation or representational content for the modelling concepts. The notion of representational content as di...