914 search results - page 32 / 183 » Analysis of Heuristic Synergies |
FMCAD
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
103
click to vote
INCDM
2010
Springer
15 years 3 months ago
2010
Springer
Hospitals increasingly use process models for structuring their care processes. Activities performed to patients are logged to a database but these data are rarely used for managin...
AAAI
1990
15 years 1 months ago
1990
Explanation requires a dialogue. Users must be allowed to ask questions about previously given explanations. However, building an interface that allows users to ask follow-up ques...
109
click to vote
DASFAA
2008
IEEE
15 years 27 days ago
2008
IEEE
A pattern is considered useful if it can be used to help a person to achieve his goal. Mining data streams for useful patterns is important in many applications. However, data stre...
108
click to vote
WWW
2008
ACM
14 years 11 months ago
2008
ACM
This paper provides an overview on the synergies between social web and knowledge managemen, topics, program committee members as well as summary of accepted papers for the SWKM20...