Sciweavers

3971 search results - page 219 / 795
» On the Use of Properties in Java Applications
Sort
View
GLVLSI
2006
IEEE
95views VLSI» more  GLVLSI 2006»
16 years 17 days ago
Test generation using SAT-based bounded model checking for validation of pipelined processors
Functional verification is one of the major bottlenecks in microprocessor design. Simulation-based techniques are the most widely used form of processor verification. Efficient ...
Heon-Mo Koo, Prabhat Mishra
CAIP
1993
Springer
157views Image Analysis» more  CAIP 1993»
15 years 10 months ago
Photometric Stereo for Non-Lambertian Surfaces Using Color Information
One robust method to reconstruct shape is photometric stereo (PMS), which reconstructs surface orientation using the Lambertian reflection properties of the surface material. To i...
Karsten Schlüns
ICIP
2002
IEEE
16 years 8 months ago
Segmentation and histogram generation using the HSV color space for image retrieval
We have analyzed the properties of the HSV (Hue, Saturation and Value) color space with emphasis on the visual perception of the variation in Hue, Saturation and Intensity values ...
Shamik Sural, Gang Qian, Sakti Pramanik
ICIP
2003
IEEE
16 years 8 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...
ICML
2009
IEEE
16 years 7 months ago
Structure learning of Bayesian networks using constraints
This paper addresses exact learning of Bayesian network structure from data and expert's knowledge based on score functions that are decomposable. First, it describes useful ...
Cassio Polpo de Campos, Zhi Zeng, Qiang Ji