Sciweavers

9284 search results - page 383 / 1857
» Knowledge State Algorithms
Sort
View
ICDE
2005
IEEE
176views Database» more  ICDE 2005»
16 years 8 months ago
Optimizing ETL Processes in Data Warehouses
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into...
Alkis Simitsis, Panos Vassiliadis, Timos K. Sellis
HYBRID
1999
Springer
15 years 11 months ago
Computing Controllers for Nonlinear Hybrid Systems
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
Claire Tomlin, John Lygeros, Shankar Sastry
ICCD
1996
IEEE
104views Hardware» more  ICCD 1996»
15 years 11 months ago
Latch Redundancy Removal Without Global Reset
For circuits where there may be latches with no reset line, we show how to replace some of them with combinational logic. All previous work in sequential optimization by latch rem...
Shaz Qadeer, Robert K. Brayton, Vigyan Singhal
CDC
2009
IEEE
173views Control Systems» more  CDC 2009»
15 years 11 months ago
Optimality of affine policies in multi-stage robust optimization
In this paper, we show the optimality of a certain class of disturbance-affine control policies in the context of one-dimensional, constrained, multi-stage robust optimization. Ou...
Dimitris Bertsimas, Dan Andrei Iancu, Pablo A. Par...
COMPLIFE
2006
Springer
15 years 11 months ago
A New Approach to Flux Coupling Analysis of Metabolic Networks
Flux coupling analysis is a method to identify blocked and coupled reactions in a metabolic network at steady state. We present a new approach to flux coupling analysis, which uses...
Abdelhalim Larhlimi, Alexander Bockmayr