446 search results - page 36 / 90 » LTS semantics for use case models |
ICA
2007
Springer
15 years 6 months ago
2007
Springer
In this paper we describe a methodology for model-based single channel separation of sounds. We present a sparse latent variable model that can learn sounds based on their distribu...
IJCV
2008
14 years 12 months ago
2008
We present a new data set encoding localized semantics for 1014 images and a methodology for using this kind of data for recognition evaluation. This methodology establishes protoc...
110
click to vote
CORR
2011
Springer
14 years 6 months ago
2011
Springer
We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and V¨a¨an¨anen, and their compositional semantics due to Hodges. We show h...
SAFECOMP
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
101
click to vote
ICSOC
2010
Springer
14 years 10 months ago
2010
Springer
A request to a service registry must be answered with a service that fits in several regards, including semantic compatibility, non-functional compatibility, and interface compati...