3705 search results - page 548 / 741 » Building Documentation Generators |
132
Voted
JSS
2002
15 years 3 months ago
2002
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
161
click to vote
SAC
2002
ACM
15 years 3 months ago
2002
ACM
Different presentations of candidate expansion terms have not been fully explored in interactive query expansion (IQE). Most existing systems that offer an IQE facility use a list...
131
click to vote
SIGIR
2002
ACM
15 years 3 months ago
2002
ACM
This paper follows a formal approach to information retrieval based on statistical language models. By introducing some simple reformulations of the basic language modeling approa...
143
click to vote
VLDB
2002
ACM
15 years 3 months ago
2002
ACM
We present a framework for publishing relational data in XML with respect to a fixed DTD. In data exchange on the Web, XML views of relational data are typically required to confo...
140
Voted
ITP
2010
15 years 2 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...