2149 search results - page 110 / 430 » Form over Substance |
162
click to vote
ICML
2007
IEEE
16 years 5 months ago
2007
IEEE
We introduce models for density estimation with multiple, hidden, continuous factors. In particular, we propose a generalization of multilinear models using nonlinear basis functi...
143
click to vote
ICML
2006
IEEE
16 years 5 months ago
2006
IEEE
Locally adaptive classifiers are usually superior to the use of a single global classifier. However, there are two major problems in designing locally adaptive classifiers. First,...
128
click to vote
ICML
2003
IEEE
16 years 5 months ago
2003
IEEE
Bayesian classifiers such as Naive Bayes or Tree Augmented Naive Bayes (TAN) have shown excellent performance given their simplicity and heavy underlying independence assumptions....
150
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
This paper presents an overview of the verication framework ALICE in its current version 0.7. It is based on the generic theorem prover Isabelle [Pau03a]. Within ALICE a software o...
134
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
We present BLAS , a Bi-LAbeling based System, for efficiently processing complex XPath queries over XML data. BLAS uses Plabeling to process queries involving consecutive child ax...