Sciweavers

1414 search results - page 84 / 283
» Combining Intruder Theories
Sort
View
EMMCVPR
1999
Springer
14 years 2 months ago
Markov Random Field Modelling of fMRI Data Using a Mean Field EM-algorithm
This paper considers the use of the EM-algorithm, combined with mean field theory, for parameter estimation in Markov random field models from unlabelled data. Special attention ...
Markus Svensén, Frithjof Kruggel, D. Yves v...
INTEROP
1999
Springer
126views GIS» more  INTEROP 1999»
14 years 2 months ago
Identifying Semantically Similar Elements in Heterogeneous Spatial Databases Using Predicate Logic Expressions
For data to be successfully integrated, semantically similar database elements must be identified as candidates for merging. However, there may be significant differences between ...
Kristin Stock, David Pullar
BIRTHDAY
2006
Springer
14 years 1 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
SARA
2000
Springer
14 years 1 months ago
Improving the Efficiency of Reasoning Through Structure-Based Reformulation
We investigate the possibility of improving the efficiency of reasoning through structure-based partitioning of logical theories, combined with partitionbased logical reasoning str...
Eyal Amir, Sheila A. McIlraith
ECAI
2008
Springer
13 years 11 months ago
Conservativity in Structured Ontologies
Using category theoretic notions, in particular diagrams and their colimits, we provide a common semantic backbone for various notions of modularity in structured ontologies, and o...
Oliver Kutz, Till Mossakowski