72 search results - page 15 / 15 » Verification of COMDES-II Systems Using UPPAAL with Model Tr... |
189
Voted
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
182
Voted
CIVR
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we develop a system to classify the outputs of image segmentation algorithms as perceptually relevant or perceptually irrelevant with respect to human perception. T...