Sciweavers

3705 search results - page 349 / 741
» Building Documentation Generators
Sort
View
LREC
2010
174views Education» more  LREC 2010»
15 years 8 months ago
SINotas: the Evaluation of a NLG Application
SINotas is a data-to-text NLG application intended to produce short textual reports on students'academic performance from a database conveying their grades, weekly attendance...
Roberto P. A. Araujo, Rafael L. de Oliveira, Eder ...
USENIX
1993
15 years 8 months ago
Essence: A Resource Discovery System Based on Semantic File Indexing
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
Darren R. Hardy, Michael F. Schwartz
KBSE
1998
IEEE
15 years 11 months ago
Explaining Synthesized Software
Motivated by NASA's need for high-assurance software, NASA Ames' Amphion project has developed a generic program generation system based on deductive synthesis. Amphion ...
Jeffrey Van Baalen, Peter Robinson, Michael R. Low...
IAT
2005
IEEE
16 years 13 days ago
Multiagent Reputation Management to Achieve Robust Software Using Redundancy
This paper explains the building of robust software using multiagent reputation. One of the major goals of software engineering is to achieve robust software. Our hypothesis is th...
Rajesh Turlapati, Michael N. Huhns
EUROCRYPT
1999
Springer
15 years 11 months ago
Proving in Zero-Knowledge that a Number Is the Product of Two Safe Primes
Abstract. We present the first efficient statistical zero-knowledge protocols to prove statements such as: – A committed number is a prime. – A committed (or revealed) number ...
Jan Camenisch, Markus Michels