860 search results - page 103 / 172 » A Process Algebra Based Verification of a Production System |
CADE
1990
Springer
14 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
TIFS
2008
13 years 9 months ago
2008
In this paper, we introduce a new system for 3-D face recognition based on the fusion of results from a committee of regions that have been independently matched. Experimental resu...
ECUMN
2007
Springer
14 years 3 months ago
2007
Springer
After decades of expansion, Internet became an essential tool useful for professionals and private individuals providing a large range of services like emailing, management of ban...
IFIP
1993
Springer
14 years 1 months ago
1993
Springer
When designing a plant for continuous or semi-continuous processes, such as paper pulp or petrochemical production systems, engineers face very complex tasks, which are only in pa...
DEXA
1997
Springer
14 years 1 months ago
1997
Springer
Still most of the current information systems are intra-organizational. Since products, services and production processes have become more information intensive, there is an increa...