Sciweavers

778 search results - page 39 / 156
» Text Adaptation Using Formal Concept Analysis
Sort
View
ICCS
2005
Springer
15 years 7 months ago
Morphisms in Context
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
Markus Krötzsch, Pascal Hitzler, Guo-Qiang Zh...
MODELS
2007
Springer
15 years 8 months ago
ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
Cécile Hardebolle, Frédéric B...
FINTAL
2006
15 years 5 months ago
MEDITE: A Unilingual Textual Aligner
This paper addresses a problem of natural language text alignment, from a humanities discipline called textual genetic criticism where different text versions must be compared. The...
Julien Bourdaillet, Jean-Gabriel Ganascia
ESTIMEDIA
2008
Springer
15 years 3 months ago
Performance analysis of reconfiguration in adaptive real-time streaming applications
We propose a design optimization framework for adaptive real-time streaming applications. The main contribution is a hybrid approach for performance analysis combining formal anal...
Jun Zhu, Ingo Sander, Axel Jantsch
JAR
2008
88views more  JAR 2008»
15 years 1 months ago
Using Theorem Proving to Verify Expectation and Variance for Discrete Random Variables
Statistical quantities, such as expectation (mean) and variance, play a vital role in the present age probabilistic analysis. In this paper, we present some formalization of expect...
Osman Hasan, Sofiène Tahar