Sciweavers

2024 search results - page 339 / 405
» Improving quality, one process change at a time
Sort
View
NMA
2010
13 years 7 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
MICAI
2000
Springer
14 years 19 days ago
Searching for a Solution to Program Verification=Equation Solving in CCS
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
Raul Monroy, Alan Bundy, Ian Green
TIME
1997
IEEE
14 years 1 months ago
On Effective Data Clustering in Bitemporal Databases
Temporal databases provide built-in supports for efficient recording and querying of time-evolving data. In this paper, data clustering issues in temporal database environment are...
Jong Soo Kim, Myoung-Ho Kim
FLAIRS
2006
13 years 10 months ago
Adaptive, Confidence-Based Strategic Negotiations in Complex Multiagent Environments
We have designed and implemented an adaptive, confidence-based negotiation strategy for conducting multiple, concurrent negotiations among agents in dynamic, uncertain, and real-t...
Xin Li, Leen-Kiat Soh
TON
2008
125views more  TON 2008»
13 years 9 months ago
Two techniques for fast computation of constrained shortest paths
Abstract-- Computing constrained shortest paths is fundamental to some important network functions such as QoS routing, which is to find the cheapest path that satisfies certain co...
Shigang Chen, Meongchul Song, Sartaj Sahni