Sciweavers

2253 search results - page 378 / 451
» Computing with Realizational Morphology
Sort
View
NMA
2010
14 years 10 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
122
Voted
QEST
2010
IEEE
14 years 10 months ago
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
Ralf Wimmer, Bettina Braitling, Bernd Becker, Erns...
86
Voted
ICRA
2009
IEEE
160views Robotics» more  ICRA 2009»
14 years 10 months ago
SBC for motion assist using neural oscillator
In this paper we propose a framework for synchronization based control (SBC) using neural oscillators for motion assist. A neural oscillator is used to accomplish synchronization a...
Xia Zhang, Minoru Hashimoto
ICWS
2009
IEEE
14 years 10 months ago
A Flexible Approach for Automatic Process Decentralization Using Dependency Tables
Web service paradigm and related technologies have provided favorable means for the realization of collaborative business processes. From both conceptual and implementation points...
Walid Fdhila, Ustun Yildiz, Claude Godart
CORR
2011
Springer
160views Education» more  CORR 2011»
14 years 7 months ago
Provenance for Aggregate Queries
We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggr...
Yael Amsterdamer, Daniel Deutch, Val Tannen