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...
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...
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...
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...
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...