29082 search results - page 425 / 5817 » The Time-Triggered Model of Computation |
215
click to vote
PE
2011
Springer
15 years 1 months ago
2011
Springer
High-level semi-Markov modelling paradigms such as semi-Markov stochastic Petri nets and process algebras are used to capture realistic performance models of computer and communic...
173
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Entry of HIV-1 into human lymphoid requires activities of viral envelope glycoproteins gp120 and gp41, and two host-cell proteins, the primary receptor CD4 and a chemo...
206
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
3D parametric deformable models have been used to extract volumetric object boundaries and they generate smooth boundary surfaces as results. However, in some segmentation cases, ...
207
click to vote
DAC
2011
ACM
14 years 6 months ago
2011
ACM
Memory consistency litmus tests are small parallel programs that are designed to illustrate subtle differences between memory consistency models by exhibiting different outcomes...
201
Voted
ACL
2012
13 years 9 months ago
2012
We investigate the problem of acoustic modeling in which prior language-specific knowledge and transcribed data are unavailable. We present an unsupervised model that simultaneou...