2962 search results - page 327 / 593 » Reasoning on Association Rules |
163
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
134
click to vote
DLOG
1997
15 years 8 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...
190
click to vote
DAIS
2009
15 years 4 months ago
2009
Queries are widely used for acquiring data distributed in opportunistically formed mobile networks. However, when queries are executed in such dynamic settings, the returned result...
148
click to vote
ECEASST
2010
15 years 4 months ago
2010
Abstract: The need of confidence that a product or service actually possesses declared behavioural / structural characteristics is the main reason for certification. It seems that ...
238
click to vote
CSL
2011
Springer
15 years 1 months ago
2011
Springer
We describe a new approach to speech recognition, in which all Hidden Markov Model (HMM) states share the same Gaussian Mixture Model (GMM) structure with the same number of Gauss...