3317 search results - page 148 / 664 » Strategies in Rigid-Variable Methods |
119
Voted
AAAI
2000
15 years 5 months ago
2000
Sampling has become an important strategy for inference in belief networks. It can also be applied to the problem of selecting actions in influence diagrams. In this paper, we pre...
139
Voted
CGI
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes a parallel rendering method based on the adaptive supersampling technique to produce anti-aliased images with minimal memory consumption. Unlike traditional s...
106
click to vote
AMC
2006
15 years 4 months ago
2006
In the integration of geodetic networks with different geodetic coordinate systems, the similarity transformation seems to be the most suitable method because the geodetic coordin...
140
click to vote
ICPR
2004
IEEE
16 years 5 months ago
2004
IEEE
A new color segmentation method is presented in this paper. The method is specified for color images that have both large and small objects, and objects with both step and ramp ed...
142
Voted
CADE
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. We give a method for modular generation of ground interpolants in modern SMT solvers supporting multiple theories. Our method uses a novel algorithm to modify the proof t...