7167 search results - page 1088 / 1434 » A Technique for Invariant Generation |
190
click to vote
MPC
2004
Springer
16 years 1 months ago
2004
Springer
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
175
click to vote
PAKDD
2004
ACM
16 years 1 months ago
2004
ACM
Computational diagnosis of cancer is a classification problem, and it has two special requirements on a learning algorithm: perfect accuracy and small number of features used in t...
204
click to vote
RT
2004
Springer
16 years 29 days ago
2004
Springer
With the advancements in realtime ray tracing and new global illumination algorithms we are now able to render the most important illumination effects at interactive rates. One of...
198
click to vote
SAT
2004
Springer
16 years 29 days ago
2004
Springer
We present a scheduler with a web interface for generating fair game schedules of a tournament. The tournament can be either single or double round-robin or something in between. T...
180
click to vote
VLDB
2004
ACM
16 years 29 days ago
2004
ACM
Progressive Optimization (POP) is a technique to make query plans robust, and minimize need for DBA intervention, by repeatedly re-optimizing a query during runtime if the cardina...