6434 search results - page 929 / 1287 » Model Transformations with Reference Models |
137
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
151
click to vote
ICIAR
2009
Springer
15 years 11 months ago
2009
Springer
Over the past decades, considerable progress had been made in developing automatic image interpretation tools for remote sensing. There is, however, still a gap between the require...
134
click to vote
CANDC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents a novel computational approach to the study of creativity. In particular, it discusses a modeling framework that addresses the worth of ideas ascribed by agent...
162
click to vote
CIBSE
2009
ACM
15 years 11 months ago
2009
ACM
Nowadays building a web application is still a complex process that requires a big effort to get several tasks done. This article presents a domain specific language aimed to simpl...
152
click to vote
IWCMC
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...