Sciweavers

8067 search results - page 221 / 1614
» A Model Proposal of the Interoperability Problem
Sort
View
ICCV
2009
IEEE
1520views Computer Vision» more  ICCV 2009»
16 years 9 months ago
A Hand-held Photometric Stereo Camera for 3-D Modeling
This paper presents a simple yet practical 3-D modeling method for recovering surface shape and reflectance from a set of images. We attach a point light source to a hand-held c...
Tomoaki Higo, Yasuyuki Matsushita, Neel Joshi, Kat...
147
Voted
ICIP
2005
IEEE
16 years 5 months ago
Signal estimation using multiple-wavelet representations and Gaussian models
Signal processing using over-complete representations has been an active research field in recent years. In this article, we study the following two related problems: (1) given tw...
Guang Deng
TACAS
2010
Springer
342views Algorithms» more  TACAS 2010»
15 years 11 months ago
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata
We study the model checking problem of timed automata based on SAT solving. Our work investigates alternative possibilities for coding the SAT reductions that are based on parallel...
Janusz Malinowski, Peter Niebert
IEEECGIV
2005
IEEE
15 years 9 months ago
Surface Modelling Using Fourth Order Geometric Flows
We use two fourth order geometric partial differential equations to efficiently solve several surface modelling problems, including the surface blending, the N-sided hole fillin...
Guoliang Xu, Qing Pan
139
Voted
GECCO
2004
Springer
132views Optimization» more  GECCO 2004»
15 years 9 months ago
Robust and Efficient Genetic Algorithms with Hierarchical Niching and a Sustainable Evolutionary Computation Model
This paper proposes a new niching method named hierarchical niching, which combines spatial niching in search space and a continuous temporal niching concept. The method is natural...
Jianjun Hu, Erik D. Goodman