3161 search results - page 211 / 633 » A Discourse on Complexity of Process Models |
135
Voted
EKAW
1994
Springer
15 years 7 months ago
1994
Springer
Formal knowledge modelling languages have a number of advantages over informal languages, such as their precise meaning and the possibility to derive propertiesthrough formal proof...
127
Voted
WSC
2008
15 years 6 months ago
2008
Cluster tools play an important role in modern semiconductor fabs. Due to their complexity in configuration and their varying material flow, the creation of accurate throughput mo...
95
Voted
ESANN
2008
15 years 5 months ago
2008
This paper presents a review of methodology for semi-supervised modeling with kernel methods, when the manifold assumption is guaranteed to be satisfied. It concerns environmental ...
150
click to vote
SDL
2003
15 years 5 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
137
Voted
TGIS
2002
15 years 3 months ago
2002
The research field of transportation demand forecasting has started to focus on disaggregate travel behavior and micro-simulation models. To create data infrastructure, disaggrega...