19936 search results - page 50 / 3988 » Inductive process modeling |
109
click to vote
SEMCO
2007
IEEE
15 years 8 months ago
2007
IEEE
In this paper, we present an approach which, given a knowledge base and an appropriate text corpus, automatically induces patterns which can be used to query the knowledge base. W...
114
click to vote
ICAI
2004
15 years 3 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
109
Voted
TACAS
1999
Springer
15 years 6 months ago
1999
Springer
The aim of this work is to investigate mechanical support for process algebra, both for concrete applications and theoretical properties. Two approaches are presented using the ver...
161
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
The Hierarchical Hidden Markov Model (HHMM) is a well formalized tool suitable to model complex patterns in long temporal or spatial sequences. Even if effective algorithms are ava...
105
click to vote
CAV
1998
Springer
15 years 6 months ago
1998
Springer
The version of Kerberos presented by Burrows et al. [5] is fully mechanised using the Inductive Method. Two models are presented, allowing respectively the leak of any session keys...