6059 search results - page 59 / 1212 » A Technique for Verifying Measurements |
ESAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Node compromise is a serious threat in wireless sensor networks. Particular in networks which are organized in clusters, nodes acting as cluster heads for many cluster no...
KAIS
2008
14 years 10 months ago
2008
Abstract Vector data and in particular road networks are being queried, hosted and processed in many application domains such as in mobile computing. Many client systems such as PD...
JLP
2007
14 years 10 months ago
2007
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automatic verification often fails for functions with accumulating arg...
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
This paper introduces a novel measure for object convexity using the recently introduced Multi-Scale Autoconvolution transform. The proposed measure is computationally efficient a...
ICASSP
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper presents a measure to verify the quality of automatically aligned phone labels. The measure is based on a similarity cost between automatically generated phonetic segme...