Sciweavers

70 search results - page 12 / 14
» flairs 2000
Sort
View
FLAIRS
2000
13 years 11 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
FLAIRS
2000
13 years 11 months ago
Automated Partitioning of Tonal Music
Most research related to automated analysis of music presupposes human partitioning of the input into segments corresponding to significant harmonic or melodic chunks. In this pap...
Bryan Pardo, William P. Birmingham
FLAIRS
2000
13 years 11 months ago
Structural Knowledge Discovery Used to Analyze Earthquake Activity
The Subdue structural discovery system is being used as the Data Mining tool to study the "Orizaba Fault" located in Mexico, as part of a research project of the geologi...
Jesus A. Gonzalez, Lawrence B. Holder, Diane J. Co...
FLAIRS
2000
13 years 11 months ago
Independence Semantics for BKBs
Bayesian KnowledgeBases (BKB)are a rule-based probabilistic modelthat extend BayesNetworks(BN), by allowing context-sensitive independenceand cycles in the directed graph. BKBshav...
Solomon Eyal Shimony, Eugene Santos Jr., Tzachi Ro...
FLAIRS
2003
13 years 11 months ago
An Extension of the Differential Approach for Bayesian Network Inference to Dynamic Bayesian Networks
We extend the differential approach to inference in Bayesian networks (BNs) (Darwiche, 2000) to handle specific problems that arise in the context of dynamic Bayesian networks (D...
Boris Brandherm