3096 search results - page 160 / 620 » Theory and Use of the EM Algorithm |
136
Voted
HYBRID
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. The theory of formal verification is one of the main approaches to hybrid system analysis. Decidability questions for verification algorithms are obtained by constructi...
160
click to vote
GECCO
2004
Springer
15 years 10 months ago
2004
Springer
In Twenty Problems in the Theory of Cellular Automata, Stephen Wolfram asks “how common computational universality and undecidability [are] in cellular automata.” This papers p...
184
click to vote
DAC
2004
ACM
16 years 6 months ago
2004
ACM
Reversible logic has applications in many fields, including quantum computing. Synthesis techniques for reversible circuits are not well developed, even for functions with a small...
145
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...
119
Voted
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose the use of programmable Grid resource partitioning heuristics in the context of a distributed service Grid management architecture. The architecture is capable...