84 search results - page 1 / 17 » sTeXIDE: An Integrated Development Environment for sTeX Coll... |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
SIGSOFT
2010
ACM
13 years 2 months ago
2010
ACM
Today's Integrated Development Environments (IDEs) only integrate the tools and knowledge of a single user and workstation. This neglects the fact that the way in which we de...
ISTA
2003
13 years 5 months ago
2003
Abstract: Data extraction is a necessary technology to deal with the huge and growing collection of unstructured and semistructured information available on the World Wide Web. Ont...
ICSE
2010
IEEE-ACM
13 years 8 months ago
2010
IEEE-ACM
Today’s integrated development environments (IDEs) are hampered by their dependence on files and file-based editing. We propose a novel user interface that is based on collectio...
ICSM
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents the Xrefactory project. Xrefactory is a plugin to editors and Integrated Development Environments (IDE) providing a variety of source understanding and refacto...