Sciweavers

1757 search results - page 227 / 352
» Alternating Refinement Relations
Sort
View
141
Voted
ICML
2009
IEEE
16 years 4 months ago
Semi-supervised learning using label mean
Semi-Supervised Support Vector Machines (S3VMs) typically directly estimate the label assignments for the unlabeled instances. This is often inefficient even with recent advances ...
Yu-Feng Li, James T. Kwok, Zhi-Hua Zhou
166
Voted
ICML
2006
IEEE
16 years 4 months ago
Pachinko allocation: DAG-structured mixture models of topic correlations
Latent Dirichlet allocation (LDA) and other related topic models are increasingly popular tools for summarization and manifold discovery in discrete data. However, LDA does not ca...
Wei Li, Andrew McCallum
ICML
2005
IEEE
16 years 4 months ago
Reducing overfitting in process model induction
In this paper, we review the paradigm of inductive process modeling, which uses background knowledge about possible component processes to construct quantitative models of dynamic...
Will Bridewell, Narges Bani Asadi, Pat Langley, Lj...
CHI
2006
ACM
16 years 4 months ago
FaThumb: a facet-based interface for mobile search
In this paper we describe a novel approach for searching large data sets from a mobile phone. Existing interfaces for mobile search require keyword text entry and are not suited f...
Amy K. Karlson, George G. Robertson, Daniel C. Rob...
142
Voted
CADE
2003
Springer
16 years 4 months ago
Foundational Certified Code in a Metalogical Framework
Foundational certified code systems seek to prove untrusted programs to be safe relative to safety policies given in terms of actual machine architectures, thereby improving the s...
Karl Crary, Susmit Sarkar