3705 search results - page 168 / 741 » Building Documentation Generators |
139
click to vote
IC
2008
15 years 8 months ago
2008
- A web monitor is a program used to monitor some public HTML-based Internet information available from dynamic HTML documents on the Internet based on a user defined set of criter...
171
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
142
click to vote
CHI
2009
ACM
16 years 7 months ago
2009
ACM
Expert recommender systems (ERS) are considered a promising technology in knowledge management. However, there are very few studies which evaluated their appropriation in practice...
164
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
152
click to vote
TAL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This paper describes two procedures for generating very short summaries for documents from the DUC-2003 competition: a chunk extraction method based on syntactic dependen...