1834 search results - page 43 / 367 » PICTURE - A new Approach for Domain-Specific Process Modelli... |
117
click to vote
FMICS
2008
Springer
15 years 4 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
CG
2007
Springer
15 years 3 months ago
2007
Springer
We propose a new approach to capture the volumetric density of dynamic scattering media instantaneously with a single image. The volume is probed with a set of laser lines and the...
138
click to vote
CAISE
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The foundation of a process model lies in its control flow specifications. Using a generic process modeling language for workflows, we show how a control flow specificati...
127
click to vote
IJNS
2010
15 years 1 months ago
2010
Abstract: Cascade process, such as wastewater treatment plant, includes many nonlinear subsystems and many variables. When the number of sub-systems is big, the input-output relati...
148
click to vote
SAC
1998
ACM
15 years 6 months ago
1998
ACM
Fuzzy Logic has traditionally found an application in control theory, systems analysis, and artificial intelligence [9] [7]. However, it is very difficult to apply it to tradition...