1422 search results - page 77 / 285 » Test Generation Algorithms Based on Preorder Relations |
NPAR
2006
ACM
15 years 3 months ago
2006
ACM
We present techniques to create convincing high-quality watercolor illustrations of plants. Mainly focusing on the real-time rendering, we introduce methods to abstract the visual...
JAIR
1998
14 years 9 months ago
1998
It is common to view programs as a combination of logic and control: the logic part de nes what the program must do, the control part how to do it. The Logic Programming paradigm ...
ICIP
2000
IEEE
15 years 2 months ago
2000
IEEE
Abstract—We describe a trellis-based algorithm which enables R-D optimum quantization decisions in the H.263+ video coding standard. The algorithm allows the quantization decisio...
JIPS
2006
14 years 9 months ago
2006
: In order to acquire a precise and quick response to an analytical query, proper selection of the views to materialize in the data warehouse is crucial. In traditional view select...
CONCUR
1991
Springer
15 years 1 months ago
1991
Springer
This paper deals with verification methods based on equivalence relations between labeled transition systems. More precisely, we are concerned by two practical needs: how to effi...