29082 search results - page 342 / 5817 » The Time-Triggered Model of Computation |
560
click to vote
ICA
2012
Springer
14 years 2 months ago
2012
Springer
In this contribution, new online EM algorithms are proposed to perform inference in general hidden Markov models. These algorithms update the parameter at some deterministic times ...
273
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
Even though the well-known nested-depth first search algorithm for LTL model checking provides good performance, it cannot benefit from the recent advent of multi-core computers....
217
click to vote
ICDCN
2012
Springer
14 years 2 months ago
2012
Springer
Cloud computing is a paradigm that has the potential to transform and revolutionalize the next generation IT industry by making software available to end-users as a service. A clou...
252
click to vote
ACSC
2010
IEEE
15 years 1 months ago
2010
IEEE
Terrains are an essential part of outdoor environments. Terrain models are important for computer games and applications in architecture, urban design and archaeology. A popular a...