1204 search results - page 87 / 241 » Hybrid Probabilistic Programs |
112
Voted
AAAI
2007
15 years 3 months ago
2007
A mathematical programming formulation is proposed to eliminate irrelevant and redundant features for collaborative computer aided diagnosis which requires to detect multiple clin...
101
Voted
ICSE
2010
IEEE-ACM
15 years 2 months ago
2010
IEEE-ACM
Typestate analysis determines whether a program violates a set of finite-state properties. Because the typestate-analysis problem is statically undecidable, researchers have propo...
111
Voted
CEC
2010
IEEE
14 years 11 months ago
2010
IEEE
— This work investigates the effects of the periodization of local and global multi-objective search algorithms. To this, we introduce a model for periodization and define a new...
104
Voted
POPL
2000
ACM
15 years 5 months ago
2000
ACM
It has been shown that secret information can be leaked to external observers through covert timing channels. In this paper we are concerned with a kind of timing attack that want...
131
click to vote
JMLR
2012
13 years 3 months ago
2012
We propose a novel mixtures of Gaussian processes model in which the gating function is interconnected with a probabilistic logical model, in our case Markov logic networks. In th...