Sciweavers

5863 search results - page 113 / 1173
» Calculating Functional Programs
Sort
View
IWFM
2003
123views Formal Methods» more  IWFM 2003»
15 years 3 months ago
Derivation of Distributed Programs in the Theory of Owicki and Gries: An Example
This paper describes the derivation of a program for the propagation of information over a network, with acknowledgement (feedback) when the computation is complete. The derivatio...
Doug Goldson
126
Voted
AAAI
2006
15 years 3 months ago
Functional Value Iteration for Decision-Theoretic Planning with General Utility Functions
We study how to find plans that maximize the expected total utility for a given MDP, a planning objective that is important for decision making in high-stakes domains. The optimal...
Yaxin Liu, Sven Koenig
141
Voted
CPHYSICS
2006
182views more  CPHYSICS 2006»
15 years 2 months ago
MinFinder: Locating all the local minima of a function
A new stochastic clustering algorithm is introduced that aims to locate all the local minima of a multidimensional continuous and differentiable function inside a bounded domain. ...
Ioannis G. Tsoulos, Isaac E. Lagaris
GLOBECOM
2009
IEEE
15 years 6 months ago
Fitting the Modified-Power-Lognormal to the Sum of Independent Lognormals Distribution
We propose a new method for calculating a tight approximation to the distribution of the sum of independent lognormal random variables. We make use of a three
Sebastian S. Szyszkowicz, Halim Yanikomeroglu
95
Voted
KESAMSTA
2010
Springer
15 years 7 months ago
Symmetry Approach to Evacuation Scenarios
The first trial of using the symmetry analysis method in modeling of behavior of complex social system is presented in this work. The evacuation of large building scenarios are d...
Wieslawa Sikora, Janusz Malinowski