8828 search results - page 1607 / 1766 » Formal methods in practice |
178
click to vote
DIALM
2003
ACM
15 years 9 months ago
2003
ACM
We propose a novel localized algorithm that constructs a bounded degree and planar spanner for wireless ad hoc networks modeled by unit disk graph (UDG). Every node only has to kn...
152
click to vote
VAMOS
2007
Springer
15 years 10 months ago
2007
Springer
A short theatrical exaggeration (but not too much) which describes practical problems with variability as experienced by real-world software developers. Real issue, there are no p...
286
click to vote
CVPR
2005
IEEE
17 years 16 days ago
2005
IEEE
"In this paper, we present a new variational formulation for geometric active contours that forces the level set function to be close to a signed distance function, and theref...
147
click to vote
CVPR
2005
IEEE
16 years 6 months ago
2005
IEEE
Images and other high-dimensional data can frequently be characterized by a low dimensional manifold (e.g. one that corresponds to the degrees of freedom of the camera). Recently,...
115
click to vote
CVPR
2006
IEEE
16 years 6 months ago
2006
IEEE
Imaging in scattering media such as fog and water is important but challenging. Images suffer from poor visibility due to backscattering and signal attenuation. Most prior methods...