Sciweavers

2909 search results - page 179 / 582
» Consistency of the theory of contexts
Sort
View
ENTCS
2002
152views more  ENTCS 2002»
15 years 6 months ago
Contract-based mutation testing in the refinement calculus
This article discusses mutation testing strategies in the context of refinement. Here, a novel generalization of mutation testing techniques is presented to be applied to contract...
Bernhard K. Aichernig
JMIV
2000
70views more  JMIV 2000»
15 years 6 months ago
The Topological Structure of Scale-Space Images
We investigate the "deep structure" of a scale-space image. The emphasis is on topology, i.e. we concentrate on critical points--pointswith vanishing gradient--and top-p...
Luc Florack, Arjan Kuijper
EUSFLAT
2009
173views Fuzzy Logic» more  EUSFLAT 2009»
15 years 4 months ago
Application of Zadeh's Impossibility Principle to Approximate Explanation
Abstract: We consider application of Zadeh's impossibility principle and extended logic FLe to approximate scientific explanation from the standpoint of the philosophy of scie...
Vesa A. Niskanen
ICDAR
2009
IEEE
15 years 4 months ago
Issues in Performance Evaluation: A Case Study of Math Recognition
Performance evaluation of document recognition systems is a difficult and practically important problem. Issues arise in defining requirements, in characterizing the system's...
Adrien Lapointe, Dorothea Blostein
INTERSPEECH
2010
15 years 1 months ago
Combination of probabilistic and possibilistic language models
In a previous paper we proposed Web-based language models relying on the possibility theory. These models explicitly represent the possibility of word sequences. In this paper we ...
Stanislas Oger, Vladimir Popescu, Georges Linar&eg...