4502 search results - page 228 / 901 » Regular Model Checking |
177
click to vote
SIAMIS
2010
15 years 4 months ago
2010
We introduce two fourth-order regularization methods that remove geometric noise without destroying significant geometric features. These methods leverage ideas from image denoisi...
157
click to vote
IPMI
2005
Springer
16 years 7 months ago
2005
Springer
Abstract. Most of the approaches dedicated to fiber tracking from diffusionweighted MR data rely on a tensor model. However, the tensor model can only resolve a single fiber orient...
175
click to vote
ICDM
2007
IEEE
16 years 20 days ago
2007
IEEE
Text clustering is most commonly treated as a fully automated task without user supervision. However, we can improve clustering performance using supervision in the form of pairwi...
169
click to vote
ISER
2004
Springer
15 years 11 months ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
155
Voted
AMC
2010
15 years 6 months ago
2010
Experience with fluid-flow simulation suggests that, in some instances, under-resolved direct numerical simulation (DNS), without a residual-stress model per se but with artificial...