搜索结果: 1-15 共查到“计算机科学技术 Statistical”相关记录36条 . 查询时间(0.078 秒)
2021年6月25-27日，国家天元数学西北中心在西安交通大学举办Statistical learning methods in modern AI国际会议。本次会议由普林斯顿大学范剑青院士、美国北卡罗来纳教堂山分校朱宏图教授和西安交通大学姜丹丹教授共同召集组织。会议邀请了世界知名高校及企业的一线专家以线上或线下的方式带来了29场前沿学术报告。西安交通大学的青年教师和在校研究生现场聆听了报告，30...
Scalable Statistical Bug Isolation
bug isolation random sampling invariants feature selection statistical debugging
2016/5/24
We present a statistical debugging algorithm that isolates bugs in programs containing multiple undiagnosed bugs. Earlier statistical algorithms that focus solely on identifying predictors that correl...
Statistical Debugging: Simultaneous Identification of Multiple Bugs
Statistical Debugging Simultaneous Identification Multiple Bugs
2016/5/24
We describe a statistical approach to software debugging in the presence of multiple bugs. Due to sparse sampling issues and complex interaction between program predicates,many generic off-the-shelf a...
Learning Arbitrary Statistical Mixtures of Discrete Distributions
Randomized algorithms Mixture learning Transportation distance Kantorovich-Rubinstein duality
2016/1/22
We study the problem of learning from unlabeled samples very general statistical mixture models on large finite sets.Specifically, the model to be learned, ϑ, is a probability dis-tribution over ...
A Study and Experiment on Spatial Statistical CharacterIStic to Discover River Structure knowledge
Spatial Statistics Data Mining River Structure Classification
2015/12/2
River structure is a direct concept for the distribution of rivers in nature. In spatial database, river structure is a type of spatial relations composed by river features. This paper proposes the ch...
A heuristic for optimizing stochastic activity networks with applications to statistical digital circuit sizing
Network priority constraints network performance measurement and random networks random variables probability distribution
2015/8/10
A deterministic activity network (DAN) is a collection of activities, each with some duration, along with a set of precedence constraints, which specify that activities begin only when certain others ...
Distributed optimization and statistical learning via the alternating direction method of multipliers
Statistics machine learning convex optimization framework modern data set data set
2015/8/7
Many problems of recent interest in statistics and machine learning can be posed in the framework of convex optimization. Due to the explosion in size and complexity of modern datasets, it is increasi...
Z-Ranking:Using Statistical Analysis to Counter the Impact of Static Analysis Approximations
Z-Ranking Statistical Analysis Static Analysis Approximations
2015/8/7
This paper explores z-ranking, a technique to rank error reports emitted by static program checking analysis tools. Such tools often use approximate analysis schemes, leading to false error reports. T...
Segmentation for English-to-Arabic Statistical Machine Translation
English-to-Arabic Machine Translation
2014/11/27
In this paper, we report on a set of initial results for English-to-Arabic Statistical Machine Translation (SMT). We show that morphological decomposition of the Arabic source is beneficial, especiall...
An English-to-Arabic Prototype Machine Translator for Statistical Sentences
Machine Translation Natural Language Processing Parsing Dictionary
2013/1/28
Authors of that paper proposed a prototype machine translator system to translate scientific English sentences into Ara- bic sentences. This system is based on natural language processing and machine ...
A Statistical Algorithm for Fast Detection of Protein Modifications From LC-MS/MS Data
Statistical Algorithm Fast Detection Protein Modifications
2013/7/24
Identification of proteins and their modifications via liquidchromatography-tandem mass spectrometry is an important task for the field of proteomics. However, becauseof the complexity of tandem mass ...
Maximum Rank Correlation Training for Statistical Machine Translation
Maximum Rank Correlation Training Statistical Machine Translation
2013/4/22
We propose Maximum Ranking Correlation (MRC) as an objective function in discrimi-native tuning of parameters in a linear model of Statistical Machine Translation (SMT). We try to maximize the ranking...
A Novel Dependency-to-String Model for Statistical Machine Translation
Novel Dependency-to-String Model Statistical Machine Translation
2013/4/22
Dependency structure, as a first step towards semantics, is believed to be helpful to improve translation quality. However, previous works on dependency structure based models typi-cally resort to ins...
Co-occurrence matrix and its statistical features as a new approach for face recognition
Face recognition gray-level co-occurrence matrix Haralick features
2011/3/22
In this paper, a new face recognition technique is introduced based on the gray-level co-occurrence matrix (GLCM). GLCM represents the distributions of the intensities and the information about relati...
Dependency-Based Bracketing Transduction Grammar for Statistical Machine Translation
Dependency-Based Bracketing Transduction Grammar Statistical Machine Translation
2013/4/22
In this paper, we propose a novel dependency-based bracketing transduc-tion grammar for statistical machine translation, which converts a source sen-tence into a target dependency tree. Dif-ferent fro...