5084 search results - page 368 / 1017 » Proving Possibility Properties |
144
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we investigate the affect of various acceptance conditions on recogniser membrane systems without dissolution. We demonstrate that two particular acceptance conditio...
131
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The extensive research and development of micromechanical resonators is trying to allow the use of these devices for highly sensitive applications. Microcantilevers are some of th...
145
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, several discrete schemes for Gaussian curvature are surveyed. The convergence property of a modified discrete scheme for the Gaussian curvature is proved. Furthermo...
197
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We provide the first linear-space data structure with provable sublinear query time for exact point-topoint shortest path queries in planar graphs. We prove that for any planar gr...
128
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents the generalization of weighted distances to modules and their computation through the chamfer algorithm on general point lattices. The first part is dedicated ...