Sciweavers

11328 search results - page 1943 / 2266
» Timed Branching Processes
Sort
View
NMA
2010
15 years 2 months ago
Genetic Algorithms Based Parameter Identification of Yeast Fed-Batch Cultivation
Different kinds of genetic algorithms have been investigated for a parameter identification of a fermentation process. Altogether eight realizations of genetic algorithms have been...
Maria Angelova, Stoyan Tzonkov, Tania Pencheva
PDPTA
2010
15 years 2 months ago
A Case Study for SOA System Rejuvenation
- Complex business service systems, such as SOA system, are prone to suffer from reliability problem. Various legend applications compatible in SOA system make things worse. Softwa...
Guanhua Tian, Jianfeng Zhan, Chao Ren, Dan Meng
PIMRC
2010
IEEE
15 years 2 months ago
On the feasibility of receive collaboration in wireless sensor networks
In this paper, a new type of collaboration in wireless sensor networks (WSN) is suggested that exploits array processing algorithms for better reception of a signal. For receive co...
Behnam Banitalebi, S. Sigg, M. Beigl
PPDP
2010
Springer
15 years 2 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
QEST
2010
IEEE
15 years 2 months ago
Reasoning about MDPs as Transformers of Probability Distributions
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
Vijay Anand Korthikanti, Mahesh Viswanathan, Gul A...
« Prev « First page 1943 / 2266 Last » Next »