298 search results - page 31 / 60 » Abstract Models of Transfinite Reductions |
ICA
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. A nonparametric Bayesian extension of Independent Components Analysis (ICA) is proposed where observed data Y is modelled as a linear superposition, G, of a potentially i...
71
Voted
CORR
2007
Springer
14 years 10 months ago
2007
Springer
This paper considers a developing theory on the effects of inevitable process variations during the fabrication of MEMS and other microsystems. The effects on the performance and ...
78
Voted
FMICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. The design flow of systems-on-a-chip (SoCs) identifies several abstraction levels higher than the Register-Transfer-Level that constitutes the input of the synthesis tool...
107
Voted
QEST
2006
IEEE
15 years 4 months ago
2006
IEEE
Abstract— This paper reports on our efforts to link an industrial state-of-the-art modelling tool to academic state-of-the-art analysis algorithms. In a nutshell, we enable timed...
102
Voted
IEEESCC
2005
IEEE
15 years 3 months ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...