2610 search results - page 435 / 522 » Computational Probabilistic Non-interference |
88
Voted
ECIR
2009
Springer
15 years 9 months ago
2009
Springer
The aim of query-based sampling is to obtain a sufficient, representative sample of an underlying (text) collection. Current measures for assessing sample quality are too coarse gr...
123
click to vote
ALT
2003
Springer
15 years 9 months ago
2003
Springer
In this paper, we present a kernel trick embedded Gaussian Mixture Model (GMM), called kernel GMM. The basic idea is to embed kernel trick into EM algorithm and deduce a parameter ...
86
Voted
ICCAD
2003
IEEE
15 years 9 months ago
2003
IEEE
Heuristics are widely used for solving computational intractable synthesis problems. However, until now, there has been limited effort to systematically develop heuristics that ca...
108
click to vote
TACAS
2010
Springer
15 years 7 months ago
2010
Springer
Deciding whether a modal formula is satisfiable with respect to a given set of (global) assumptions is a question of fundamental importance in applications of logic in computer sc...
119
Voted
PERCOM
2009
ACM
15 years 7 months ago
2009
ACM
—The primary function of a cognitive radio is to detect idle frequencies or sub-bands, not used by the primary users (PUs), and allocate these frequencies to secondary users. The...