Sciweavers

1285 search results - page 131 / 257
» Structural Operators for Modeling 3-Manifolds
Sort
View
UAI
1997
15 years 2 months ago
Correlated Action Effects in Decision Theoretic Regression
Much recent research in decision theoretic planning has adopted Markov decision processes (MDPs) as the model of choice, and has attempted to make their solution more tractable by...
Craig Boutilier
83
Voted
HICSS
2006
IEEE
92views Biometrics» more  HICSS 2006»
15 years 6 months ago
Governance Options for Strategic Technology Alliances in Value Webs
Strategic alliances are the primary collaboration form for organizations participating in value webs, the most widely used form of structuring business activities in the digital e...
Adamantia G. Pateli, George M. Giaglis
GECCO
2005
Springer
127views Optimization» more  GECCO 2005»
15 years 6 months ago
Sufficiency verification of HIV-1 pathogenesis based on multi-agent simulation
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
Zaiyi Guo, Hann Kwang Han, Joc Cing Tay
FORMATS
2003
Springer
15 years 6 months ago
Causal Time Calculus
We present a process algebra suitable to the modelling of timed concurrent systems and to their efficient verification through model checking. The algebra is provided with two con...
Franck Pommereau
WSC
2008
15 years 3 months ago
Approximate dynamic programming: Lessons from the field
Approximate dynamic programming is emerging as a powerful tool for certain classes of multistage stochastic, dynamic problems that arise in operations research. It has been applie...
Warren B. Powell