2635 search results - page 168 / 527 » Refactoring Process Models in Large Process Repositories |
170
click to vote
ENTCS
2006
15 years 4 months ago
2006
Bounded Model Checking (BMC) searches for counterexamples to a property with a bounded length k. If no such counterexample is found, k is increased. This process terminates when ...
119
click to vote
ICANN
1997
Springer
15 years 8 months ago
1997
Springer
Information in the nervous system has often been considered as being represented by simultaneous discharge of a large set of neurons. We propose a learning mechanism for neural inf...
155
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
162
click to vote
CIKM
2008
Springer
15 years 6 months ago
2008
Springer
An expert finding system allows a user to type a simple text query and retrieve names and contact information of individuals that possess the expertise expressed in the query. Thi...
129
click to vote
AAAI
2006
15 years 5 months ago
2006
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiti...