6693 search results - page 1059 / 1339 » Methods of Automatic Algorithm Generation |
138
click to vote
ICDM
2002
IEEE
15 years 8 months ago
2002
IEEE
Frequent pattern mining has been studied extensively. However, the effectiveness and efficiency of this mining is often limited, since the number of frequent patterns generated i...
131
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
135
Voted
VISUALIZATION
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper presents an efficient keyframeless image-based rendering technique. An intermediate image is used to exploit the coherences among neighboring frames. The pixels in the...
108
Voted
SIGGRAPH
2000
ACM
15 years 7 months ago
2000
ACM
We present new techniques for interactive cinematic lighting design of complex scenes that use procedural shaders. Deep-framebuffers are used to store the geometric and optical in...
131
Voted
ADC
2003
Springer
15 years 7 months ago
2003
Springer
Information available in the Internet is frequently supplied simply as plain ascii text, structured according to orthographic and semantic conventions. Traditional document classi...