252 search results - page 4 / 51 » The Authoring Assistant |
ICWL
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. This paper presents a pilot system and discusses its possible extensions. In the first sections, we present a web-based test authoring system for English grammar and voca...
SIGMOD
2005
ACM
14 years 5 months ago
2005
ACM
Citation analysis is performed to evaluate the impact of scientific collections (journals and conferences), publications and scholar authors. In this paper we investigate alternat...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
Given a query on the PASCAL database maintained by the INIST, we design user interfaces to visualize and wo types of graphs extracted from abstracts: 1) the graph of all associati...
JCDL
2009
ACM
14 years 5 days ago
2009
ACM
Users of digital libraries usually want to know the exact author or authors of an article. But different authors may share the same names, either as full names or as initials and...
JAR
2007
13 years 5 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...