Sciweavers

4629 search results - page 679 / 926
» Space Kernel Analysis
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 7 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
JSCIC
2008
43views more  JSCIC 2008»
15 years 7 months ago
A Dual-Petrov-Galerkin Method for the Kawahara-Type Equations
Abstract An efficient and accurate numerical scheme is proposed, analyzed and implemented for the Kawahara and modified Kawahara equations which model many physical phenomena such ...
Juan-Ming Yuan, Jie Shen, Jiahong Wu
PR
2006
65views more  PR 2006»
15 years 7 months ago
Why direct LDA is not equivalent to LDA
In this paper, we present counterarguments against the direct LDA algorithm (D-LDA), which was previously claimed to be equivalent to Linear Discriminant Analysis (LDA). We show f...
Hui Gao, James W. Davis
IJISTA
2007
101views more  IJISTA 2007»
15 years 7 months ago
Incremental online PCA for automatic motion learning of eigen behaviour
: This paper presents an online learning framework for the behavior of an articulated body by capturing its motion using real-time video. In our proposed framework, supervised lear...
Xianhua Jiang, Yuichi Motai
SP
2008
IEEE
187views Security Privacy» more  SP 2008»
15 years 7 months ago
Efficient and Robust TCP Stream Normalization
Network intrusion detection and prevention systems are vulnerable to evasion by attackers who craft ambiguous traffic to breach the defense of such systems. A normalizer is an inl...
Mythili Vutukuru, Hari Balakrishnan, Vern Paxson