61 search results - page 1 / 13 » Generic Forward and Backward Simulations |
CONCUR
2010
Springer
13 years 6 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...
CONCUR
2006
Springer
13 years 8 months ago
2006
Springer
CAI
2009
Springer
13 years 11 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...
ICML
2010
IEEE
13 years 5 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
13 years 11 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...