19936 search results - page 90 / 3988 » Inductive process modeling |
109
Voted
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
— This paper focuses on checking safety properties for sequential circuits specified on the RTlevel. We study how different state encodings can be used to create a gate-level r...
144
click to vote
ICANN
2010
Springer
15 years 3 months ago
2010
Springer
It has been one of the great challenges of neuro-symbolic integration to represent recursive logic programs using neural networks of finite size. In this paper, we propose to imple...
147
Voted
IEAAIE
2009
Springer
15 years 9 months ago
2009
Springer
Nowadays, some process information is represented by a process model. To understand process executed in many activities, process mining technologies are now extensively studied to...
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
With the increasing adoption of process-aware information systems (PAIS), large process model repositories have emerged. Over time respective models have to be re-aligned to the re...
134
Voted
BPM
2006
Springer
15 years 6 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...