2060 search results - page 55 / 412 » The Composition of Event-B Models |
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
157
click to vote
WICSA
2004
15 years 5 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
155
click to vote
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
Adaptive techniques like voltage and frequency scaling, process variations and the randomness of input data contribute signi cantly to the statistical aspect of contemporary hardwa...
142
click to vote
TCS
2002
15 years 3 months ago
2002
In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are defined in terms of the resources they need to execute, which allo...
127
click to vote
ICIP
2007
IEEE
16 years 5 months ago
2007
IEEE
Querying by Visual Thesaurus (VT) is a novel paradigm for content-based image retrieval approaches for it gives the user the possibility, in case of inappropriate starting example...