Sciweavers

1382 search results - page 118 / 277
» Procedural Generation of Roads
Sort
View
CVPR
1998
IEEE
16 years 3 days ago
Texture Recognition Using a Non-Parametric Multi-Scale Statistical Model
We describe a technique for using the joint occurrence of local features at multiple resolutions to measure the similarity between texture images. Though superficially similar to ...
Jeremy S. De Bonet, Paul A. Viola
ICIP
2008
IEEE
15 years 11 months ago
A ground truth for motion-based video-object segmentation
This paper describes the design procedure followed to generate a ground truth for the evaluation of motion-based algorithms for video-object segmentation. A thorough review and cl...
Fabricio Tiburzi, Jesús Bescós, Jos&...
ICIP
2003
IEEE
15 years 11 months ago
Indexing and segmenting colour images using neighbourhood sequences
In this paper we present some methods for indexing and segmenting colour images. The proposed procedures are based on well-known algorithms, but now we use digital distance functi...
András Hajdu, Benedek Nagy, Zoltán Z...
CADE
2009
Springer
15 years 10 months ago
Ground Interpolation for Combined Theories
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...
Amit Goel, Sava Krstic, Cesare Tinelli
70
Voted
ICCD
2005
IEEE
124views Hardware» more  ICCD 2005»
15 years 7 months ago
Accurate Diagnosis of Multiple Faults
In this paper, we propose a diagnostic test generation method in conjunction with an efficient sequential SAT-based diagnosis procedure to precisely identify multiple defective si...
Yung-Chieh Lin, Feng Lu, Kwang-Ting Cheng