3742 search results - page 386 / 749 » On the Use of Formal Techniques for Validation |
163
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Finite state machine-based abstractions of software behaviour are popular because they can be used as the basis for a wide range of (semi-) automated verification and validation ...
188
click to vote
WOSP
2005
ACM
16 years 10 days ago
2005
ACM
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
165
click to vote
AES
2008
Springer
15 years 7 months ago
2008
Springer
The paper summarises the ambient vibration-based assessment of an historic suspension footbridge, dating back to 1928. The footbridge is characterised by the timber floor system s...
274
click to vote
CVPR
2012
IEEE
13 years 9 months ago
2012
IEEE
Subspace clustering and feature extraction are two of the most commonly used unsupervised learning techniques in computer vision and pattern recognition. State-of-theart technique...
362
click to vote
Presentation
A hand-held surgical probe is an essential component of any image-guided neurosurgery (IGNS). During the surgical procedure, the IGNS tracks the probe position and displays the ana...