Sciweavers

1172 search results - page 72 / 235
» Approximate Reasoning Based on Similarity
Sort
View
BMCBI
2006
141views more  BMCBI 2006»
13 years 10 months ago
Asymptotic behaviour and optimal word size for exact and approximate word matches between random sequences
Background: The number of k-words shared between two sequences is a simple and effcient alignment-free sequence comparison method. This statistic, D2, has been used for the cluste...
Sylvain Forêt, Miriam R. Kantorovitz, Conrad...
ICASSP
2011
IEEE
13 years 1 months ago
SRF: Matrix completion based on smoothed rank function
In this paper, we address the matrix completion problem and propose a novel algorithm based on a smoothed rank function (SRF) approximation. Among available algorithms like FPCA a...
Hooshang Ghasemi, Mohmmadreza Malek-Mohammadi, Mas...
LICS
2003
IEEE
14 years 3 months ago
New Directions in Instantiation-Based Theorem Proving
We consider instantiation-based theorem proving whereby instances of clauses are generated by certain inferences, and where inconsistency is detected by propositional tests. We gi...
Harald Ganzinger, Konstantin Korovin
SMC
2007
IEEE
14 years 4 months ago
Sense based organization of descriptive data
— In this paper we propose a new technique allowing to map descriptive data into relative distance space, which is based primarily on senses of the terms stored in our data. We u...
M. Shahriar Hossain, Monika Akbar, Rafal A. Angryk
EUSFLAT
2007
136views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 months ago
Exploring Dialogue Games as Foundation of Fuzzy Logic
A dialogue game based approach to the problem of providing a deeper semantic foundation for t-norm based fuzzy logics is explored. In particular, various versions, extensions and ...
Christian G. Fermüller