7766 search results - page 1365 / 1554 » Testing Nondeterminate Systems |
132
Voted
TIFS
2008
15 years 20 days 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...
109
Voted
TMI
2008
15 years 20 days ago
2008
In this paper, a hybrid discriminative/generative model for brain anatomical structure segmentation is proposed. The learning aspect of the approach is emphasized. In the discrimin...
98
Voted
CAD
2005
Springer
15 years 20 days ago
2005
Springer
Current methods for recognition and interpretation of architectural drawings are limited to either low-level analysis of paper drawings or interpretation of electronic drawings th...
121
Voted
TOSEM
2008
15 years 19 days ago
2008
e than previously established, appearing at various levels of abstraction, in diverse systems and languages. The implications of this phenomenon cover various aspects of software e...
101
click to vote
JIRS
2007
15 years 19 days ago
2007
A detailed step-by-step approach is presented to optimize, standardize, and automate the process of unmanned vehicle controller design, evaluation, validation and verification, fol...