520 search results - page 60 / 104 » On the discovery of process models from their instances |
214
click to vote
JSC
2010
15 years 28 days ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
194
click to vote
GI
1998
Springer
15 years 10 months ago
1998
Springer
"KnowledgeMiner" was designed to support the knowledge extraction process on a highly automated level. Implemented are 3 different GMDH-type self-organizing modeling algo...
183
click to vote
JCST
2008
15 years 6 months ago
2008
The task of clustering is to identify classes of similar objects among a set of objects. The definition of similarity varies from one clustering model to another. However, in most ...
180
click to vote
NLPRS
2001
Springer
15 years 10 months ago
2001
Springer
Recent research in automated learning has focused on algorithms that learn from a combination of tagged and untagged data. Such algorithms can be referred to as semi-supervised in...
183
click to vote
BMCBI
2007
15 years 6 months ago
2007
Background: Detection of short, subtle conserved motif regions within a set of related DNA or amino acid sequences can lead to discoveries about important regulatory domains such ...