4057 search results - page 422 / 812 » Linear combination of transformations |
172
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. In this paper we analyse the performance of a low dimensional model for the nonlinear thermo-mechanical waves. The model has been obtained by using proper orthogonal deco...
176
click to vote
LPAR
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The main goal of this paper is to apply rewriting termination technology —enjoying a quite mature set of termination results and tools— to the problem of proving auto...
153
click to vote
SAS
2005
Springer
16 years 7 days ago
2005
Springer
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
161
click to vote
UML
2005
Springer
16 years 7 days ago
2005
Springer
It is hard to develop and evolve software product-line architectures (PLAs) for large-scale distributed real-time and embedded (DRE) systems. Although certain challenges of PLAs ca...
152
click to vote
ACII
2005
Springer
16 years 6 days ago
2005
Springer
To collect data for sign language recognition is not a trivial task. The lack of training data has become a bottleneck in the research of singer independence and large vocabulary r...