2748 search results - page 161 / 550 » Modelling Fuzzy Sets Using Object-Oriented Techniques |
164
Voted
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper introduces a framework for clarifying and formalizing the duplicate document detection problem. Four distinct models are presented, each with a corresponding algorithm ...
135
click to vote
APSEC
2003
IEEE
15 years 8 months ago
2003
IEEE
Today, the syntax of visual specification languages such as UML is typically defined using meta-modelling techniques. However, this kind of syntax definition has drawbacks. In par...
162
Voted
ICASSP
2008
IEEE
15 years 11 months ago
2008
IEEE
Phoneme set clustering of accurate modeling is important in the task of multilingual speech recognition, especially when each of the available language training corpora is mismatc...
196
Voted
SBMF
2010
Springer
14 years 11 months ago
2010
Springer
Designers of concurrent and distributed algorithms usually express them using pseudo-code. In contrast, most verification techniques are based on more mathematically-oriented forma...
169
Voted
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
The higher-order logic found in proof assistants such as Coq and various HOL systems provides a convenient setting for the development and verification of pure functional program...