7167 search results - page 209 / 1434 » A Technique for Invariant Generation |
150
click to vote
ANLP
1992
15 years 8 months ago
1992
The Intelligent Documentation Advisory System generates on-line documentation and help messages from a domain knowledge base, using natural-language (NL) generation techniques. Th...
178
click to vote
COLING
2010
15 years 2 months ago
2010
In this paper, we propose a method for mediatory summarization, which is a novel technique for facilitating users' assessments of the credibility of information on the Web. A...
173
click to vote
VLSID
2007
IEEE
16 years 7 months ago
2007
IEEE
The problem of peak power estimation in CMOS circuits is essential for analyzing the reliability and performance of circuits at extreme conditions. The Power Virus problem involves...
186
click to vote
ICDE
2010
IEEE
16 years 7 months ago
2010
IEEE
We present the application of customized code generation to database query evaluation. The idea is to use a collection of highly efficient code templates and dynamically instantiat...
186
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract— Checking if an SQL query has been written correctly is not an easy task. Formal verification is not applicable, since it is based on comparing a specification with an...