9698 search results - page 244 / 1940 » models 2010 |
147
click to vote
INTERSPEECH
2010
15 years 1 months ago
2010
In this paper, we propose to improve our previously developed method for joint compensation of additive and convolutive distortions (JAC) applied to model adaptation. The improvem...
190
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
165
click to vote
ENTCS
2010
15 years 6 months ago
2010
The theory of nominal sets is a theory for names, freshness and binders. It has recently been suggested as a framework for modelling local store because it allows for a more eleme...
166
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
Abstract. We present three constraint models of the problem of finding a graceful labelling of a graph, or proving that the graph is not graceful. An experimental comparison of the...
167
click to vote
DGO
2010
15 years 8 months ago
2010
Decisions regarding major urban transportation projects and land use policies are frequently political and controversial, as well as having significant economic, social, and envir...