3819 search results - page 567 / 764 » Simple Easy Terms |
185
click to vote
TCS
2008
15 years 6 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
159
click to vote
TEC
2008
15 years 6 months ago
2008
In this paper, we propose a technique based on genetic programming (GP) for meshfree solution of elliptic partial differential equations. We employ the least-squares collocation pr...
213
click to vote
TIFS
2008
15 years 6 months ago
2008
We consider the problem of secret key distribution in a sensor network with multiple scattered sensor nodes and a mobile device that can be used to bootstrap the network. Our main...
158
click to vote
TIP
2008
15 years 6 months ago
2008
We introduce a nonlocal discrete regularization framework on weighted graphs of the arbitrary topologies for image and manifold processing. The approach considers the problem as a...
181
click to vote
TIP
2008
15 years 6 months ago
2008
In recent years Bayes Least Squares - Gaussian scale mixtures (BLS-GSM) has emerged as one of the most powerful methods for image restoration. Its strength relies on providing a si...