1786 search results - page 258 / 358 » Domain Independent Generative Modeling |
109
Voted
EMSOFT
2006
Springer
15 years 6 months ago
2006
Springer
Recently, a number of frameworks were proposed to extend interface theory to the domains of single-processor and distributed real-time systems. This paper unifies some of these ap...
129
click to vote
CP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
126
Voted
FOIS
2001
15 years 3 months ago
2001
The uptake in the software industry of notations for designing systems visually has been accelerated with the standardization of the Unified Modeling Language (UML). The formaliza...
140
click to vote
CIMAGING
2009
15 years 3 months ago
2009
Owing to the stochastic nature of discrete processes such as photon counts in imaging, real-world data measurements often exhibit heteroscedastic behavior. In particular, time ser...
124
click to vote
CORR
2007
Springer
15 years 2 months ago
2007
Springer
— In contrast to the prevalent assumption of rich multipath in information theoretic analysis of wireless channels, physical channels exhibit sparse multipath, especially at larg...