图 书 馆开课单位--卡内基梅隆大学
171
172
173
174
175
176
177
178
179
180
171Model Checking and the Curse of Dimensionality[模型检验与维数灾难]
Edmund M. Clarke(卡内基梅隆大学) Model Checking is an automatic verification technique for large state transition systems. It was originally developed for reasoning about finite-state...
热度：50
Edmund M. Clarke(卡内基梅隆大学) Model Checking is an automatic verification technique for large state transition systems. It was originally developed for reasoning about finite-state...
热度：50
172Random projection, margins, kernels, and feature-selection[随机投影，边距，内核和特征选择]
Avrim Blum(卡内基梅隆大学) Random projection is a simple technique that can often provide insight into questions such as "why is it good to have a large margin?" or &q...
热度：37
Avrim Blum(卡内基梅隆大学) Random projection is a simple technique that can often provide insight into questions such as "why is it good to have a large margin?" or &q...
热度：37
173Nonparametric Density Estimation for Capture-Recapture[捕获-再捕获的非参数密度估计 ]
Zachary Kurtz(卡内基梅隆大学) Capture-recapture (CRC) is a way to estimate the size of a population by combining multiple incomplete lists of population units. Accurate estimators ...
热度：43
Zachary Kurtz(卡内基梅隆大学) Capture-recapture (CRC) is a way to estimate the size of a population by combining multiple incomplete lists of population units. Accurate estimators ...
热度：43
174Augmenting Dual Decomposition for MAP Inference[MAP推理的增广对偶分解 ]
André F. T. Martins(卡内基梅隆大学) In this paper, we propose combining augmented Lagrangian optimization with the dual decomposition method to obtain a fast algorithm for approximate MA...
热度：52
André F. T. Martins(卡内基梅隆大学) In this paper, we propose combining augmented Lagrangian optimization with the dual decomposition method to obtain a fast algorithm for approximate MA...
热度：52
175Taming Information Overload[处理信息过载 ]
Carlos Guestrin(卡内基梅隆大学) The internet has allowed us to democratize information, but has also brought us a new challenge: Information Overload. With the huge amounts of inform...
热度：53
Carlos Guestrin(卡内基梅隆大学) The internet has allowed us to democratize information, but has also brought us a new challenge: Information Overload. With the huge amounts of inform...
热度：53
176Joint Max Margin and Max Entropy Learning of Graphical Models[图形模型的最大边际和最大熵联合学习 ]
Eric P. Xing(卡内基梅隆大学) Inferring structured predictions based on correlated covariates remains a central problem in many fields, including NLP, computer vision, and computat...
热度：60
Eric P. Xing(卡内基梅隆大学) Inferring structured predictions based on correlated covariates remains a central problem in many fields, including NLP, computer vision, and computat...
热度：60
177Approximate Inference in Natural Language Processing[自然语言处理中的近似推理 ]
Noah Smith(卡内基梅隆大学 ) I'll start out by presenting an idealized version of the natural language processing problem of parsing. I will brazenly suggest that most of NLP is r...
热度：73
Noah Smith(卡内基梅隆大学 ) I'll start out by presenting an idealized version of the natural language processing problem of parsing. I will brazenly suggest that most of NLP is r...
热度：73
178Multimodal Learning with Deep Boltzmann Machines[用Boltzmann机器进行多模态学习 ]
Ruslan Salakhutdinov(卡内基梅隆大学) We propose a Deep Boltzmann Machine for learning a generative model of multimodal data. We show how to use the model to extract a meaningful represent...
热度：59
Ruslan Salakhutdinov(卡内基梅隆大学) We propose a Deep Boltzmann Machine for learning a generative model of multimodal data. We show how to use the model to extract a meaningful represent...
热度：59
179Time Varying Graphical Models: Reverse Engineering and Analyzing Rewiring Networks[时变图形模型:逆向工程和分析重布线网络]
Eric P. Xing(卡内基梅隆大学) A plausible representation of the relational information among entities in dynamic systems such as a social community or a living cell is a stochastic...
热度：107
Eric P. Xing(卡内基梅隆大学) A plausible representation of the relational information among entities in dynamic systems such as a social community or a living cell is a stochastic...
热度：107
180Trading off Mistakes and Don't-Know Predictions[权衡错误和未知的预测]
Avrim Blum(卡内基梅隆大学) We discuss an online learning framework in which the agent is allowed to say "I don't know2 as well as making incorrect predictions on given exam...
热度：42
Avrim Blum(卡内基梅隆大学) We discuss an online learning framework in which the agent is allowed to say "I don't know2 as well as making incorrect predictions on given exam...
热度：42