Sciweavers

1687 search results - page 132 / 338
» Which pointer analysis should I use
Sort
View
127
Voted
OOPSLA
2009
Springer
15 years 10 months ago
Optimizing programs with intended semantics
Modern object-oriented languages have complex features that cause programmers to overspecify their programs. This overspecification hinders automatic optimizers, since they must ...
Daniel von Dincklage, Amer Diwan
139
Voted
CBMS
2007
IEEE
15 years 4 months ago
A Time-Frequency Based Method for the Detection of Epileptic Seizures in EEG Recordings
A novel three-stage method for the analysis of electroencephalographic (EEG) signals, concerning epileptic seizures, is proposed. First, segments of the EEG signals are analyzed u...
Alexandros T. Tzallas, Markos G. Tsipouras, Dimitr...
FOSSACS
2009
Springer
15 years 11 months ago
On the Foundations of Quantitative Information Flow
There is growing interest in quantitative theories of information flow in a variety of contexts, such as secure information flow, anonymity protocols, and side-channel analysis. ...
Geoffrey Smith
FLAIRS
2009
15 years 1 months ago
Automatic Text Categorization of Mathematical Word Problems
This paper describes a novel application of text categorization for mathematical word problems, namely Multiplicative Compare and Equal Group problems. The empirical results and a...
Suleyman Cetintas, Luo Si, Yan Ping Xin, Dake Zhan...
SIGIR
2008
ACM
15 years 4 months ago
Multi-document summarization via sentence-level semantic analysis and symmetric matrix factorization
Multi-document summarization aims to create a compressed summary while retaining the main characteristics of the original set of documents. Many approaches use statistics and mach...
Dingding Wang, Tao Li, Shenghuo Zhu, Chris H. Q. D...