1788 search results - page 327 / 358 » Model Theory for Process Algebra |
105
Voted
TOPNOC
2008
15 years 3 months ago
2008
State spaces are commonly used representations of system behavior. A state space may be derived from a model of system behavior but can also be obtained through process mining. For...
108
click to vote
MANSCI
2007
15 years 3 months ago
2007
Companies such as Zara and World Co. have recently implemented novel product development processes and supply chain architectures enabling them to make more product design and ass...
142
Voted
CCR
2002
15 years 3 months ago
2002
Economic principles are increasingly being suggested for addressing some complex issues related to distributed resource allocation for QoS (Quality of Service) enhancement. Many p...
95
Voted
EATCS
2000
15 years 3 months ago
2000
One of the previous articles in this column was devoted to the zero-one laws for a number of logics playing prominent role in finite model theory: first-order logic FO, the extens...
134
Voted
IJCV
1998
15 years 3 months ago
1998
The structure-from-motion problem has been extensively studied in the field of computer vision. Yet, the bulk of the existing work assumes that the scene contains only a single mo...