1361 search results - page 115 / 273 » Simulation for recurring decisions |
CAV
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
EUROGP
2008
Springer
14 years 11 months ago
2008
Springer
We present an approach for the automated synthesis of proactive aggregation protocols using Genetic Programming and discuss major decisions in modeling and simulating distributed a...
EUSFLAT
2003
14 years 11 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
ICMAS
2000
14 years 11 months ago
2000
In this paper we develop a notion of "objective trust" for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experi...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
We propose blind equalization algorithms that perform similarly to supervised ones, independently of the QAM order. They converge approximately to the Wiener solution, which gener...