Sciweavers

2157 search results - page 369 / 432
» Binary ant algorithm
Sort
View
VLSID
2005
IEEE
97views VLSI» more  VLSID 2005»
15 years 5 months ago
Q-PREZ: QBF Evaluation Using Partition, Resolution and Elimination with ZBDDs
In recent years, there has been an increasing interest in Quantified Boolean Formula (QBF) evaluation, since several VLSI CAD problems can be formulated efficiently as QBF insta...
Kameshwar Chandrasekar, Michael S. Hsiao
GRAPHITE
2005
ACM
15 years 5 months ago
View-dependent tetrahedral meshing and rendering
We present a meshing and rendering framework for tetrahedral meshes that constructs a multi-resolution representation and uses this representation to adapt the mesh to rendering p...
Ralf Sondershaus, Wolfgang Straßer
GEOS
2005
Springer
15 years 5 months ago
Comparing Representations of Geographic Knowledge Expressed as Conceptual Graphs
Abstract. Conceptual Graphs are a very powerful knowledge and meaning representation formalism grounded on deep philosophical, linguistic and object oriented principles [1], [2]. C...
Athanasios Karalopoulos, Margarita Kokla, Marinos ...
ICIAR
2005
Springer
15 years 5 months ago
Unequal Error Protection Using Convolutional Codes for PCA-Coded Images
Image communication is a significant research area which involves improvement in image coding and communication techniques. In this paper, Principal Component Analysis (PCA) is use...
Sabina Hosic, Aykut Hocanin, Hasan Demirel
ISVC
2005
Springer
15 years 5 months ago
Retinal Image Registration for NIH's ETDRS
This paper presents a retinal image registration approach for National Institute of Health (NIH)’s Early Treatment Diabetic Retinopathy Study (ETDRS) standard. The ETDRS imaging ...
Thitiporn Chanwimaluang, Guoliang Fan