Sciweavers

6693 search results - page 1031 / 1339
» Methods of Automatic Algorithm Generation
Sort
View
137
Voted
CIKM
2010
Springer
15 years 2 months ago
Visualization and clustering of crowd video content in MPCA subspace
This paper presents a novel approach for the visualization and clustering of crowd video contents by using multilinear principal component analysis (MPCA). In contrast to feature-...
Haiping Lu, How-Lung Eng, Myo Thida, Konstantinos ...
134
Voted
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 2 months ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
145
Voted
SPIRE
2010
Springer
15 years 1 months ago
Identifying SNPs without a Reference Genome by Comparing Raw Reads
Next generation sequencing (NGS) technologies are being applied to many fields of biology, notably to survey the polymorphism across individuals of a species. However, while single...
Pierre Peterlongo, Nicolas Schnel, Nadia Pisanti, ...
140
Voted
EMNLP
2009
15 years 1 months ago
Discovery of Term Variation in Japanese Web Search Queries
In this paper we address the problem of identifying a broad range of term variations in Japanese web search queries, where these variations pose a particularly thorny problem due ...
Hisami Suzuki, Xiao Li, Jianfeng Gao
118
Voted
ICMCS
2009
IEEE
250views Multimedia» more  ICMCS 2009»
15 years 1 months ago
Efficient sparse self-similarity matrix construction for repeating sequence detection
This paper presents an efficient way to construct the self-similarity matrix, a popular approach, to detect repeating segments in music. Our proposed method extends the sparse suf...
Lei Wang, Chng Eng Siong, Haizhou Li
« Prev « First page 1031 / 1339 Last » Next »