Sciweavers

860 search results - page 36 / 172
» A Process Algebra Based Verification of a Production System
Sort
View
CCE
2010
13 years 5 months ago
Combined mass and energy integration in process design at the example of membrane-based gas separation systems
This paper presents an approach for combined mass and energy integration in process synthesis and illustrates it at the thermochemical production of crude synthetic natural gas (S...
Martin Gassner, François Maréchal
ECAI
2000
Springer
14 years 1 days ago
Autosteve: Automated Electrical Design Analysis
AutoSteve performs automated electrical design based on qualitative simulation and functional abstraction. It is the first commercial product capable of performing these tasks for ...
Chris Price
IQ
2004
13 years 9 months ago
An Algebraic Approach to Quality Metrics for Customer Recognition Systems
: Success in implementing a Customer Relationship Management (CRM) system requires close attention to data quality issues. However, most of the literature focuses on the quality of...
John R. Talburt, Kimberly Hess, Richard Wang, Emil...
AAAI
2007
13 years 10 months ago
MasDISPO: A Multiagent Decision Support System for Steel Production and Control
In the majority of cases, steel production constitutes the inception of the Supply Chains they are involved just as in automotive clusters or aerospace. Steel manufacturing compan...
Sven Jacobi, Esteban León-Soto, Cristi&aacu...
SIP
2003
13 years 9 months ago
An Algebraic Approach to M-band Wavelets Construction
This paper presents an algebraic approach to construct Mband orthogonal wavelet bases. A system of constraint equations is obtained for M-band orthonormal filters, and then a solu...
Tony Lin, Qingyun Shi, Pengwei Hao