6020 search results - page 573 / 1204 » A New Approach to Model Counting |
186
click to vote
ICTIR
2009
Springer
16 years 1 months ago
2009
Springer
We introduce perturbation kernels, a new class of similarity measure for information retrieval that casts word similarity in terms of multi-task learning. Perturbation kernels mode...
192
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
Identification of prosodic phenomena is of first importance in prosodic analysis and modeling. In this paper, we introduce a new method for automatic prosodic phenomena labellin...
193
click to vote
ICSEA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
195
click to vote
FUZZIEEE
2007
IEEE
16 years 1 months ago
2007
IEEE
— Geometric Type-2 Fuzzy sets allow us to model type-2 fuzzy sets using geometry providing significant improvement in speed of computation. This paper explores in detail how wel...
182
click to vote
ICDAR
2007
IEEE
16 years 1 months ago
2007
IEEE
Free style Chinese handwriting recognition continues to pose a challenge to researchers due to the variety of Chinese writing styles. To recognize handwritten characters in an onl...