61 search results - page 1 / 13 » Generic Forward and Backward Simulations |
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
Jonsson and Larsen's notion of probabilistic simulation is studied from a coalgebraic perspective. The notion is compared with two generic coalgebraic definitions of simulatio...
66
Voted
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
97
Voted
CAI
2009
Springer
15 years 4 months ago
2009
Springer
Two types of simulations for weighted tree automata (wta) are considered. Wta process trees and assign a weight to each of them. The weights are taken from a semiring. The two type...
106
Voted
ICML
2010
IEEE
14 years 10 months ago
2010
IEEE
Inference in graphical models has emerged as a promising technique for planning. A recent approach to decision-theoretic planning in relational domains uses forward inference in d...
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—we study dynamic routing and wavelength assignment scheme when there are any available wavelengths on a route in the wavelength-routed networks. An optical wavelength path reque...