Sciweavers

42507 search results - page 404 / 8502
» On the analysis of
Sort
View
ISBI
2006
IEEE
16 years 7 months ago
Sample dependence correction for order selection in fMRI analysis
Multivariate analysis methods such as independent component analysis (ICA) have been applied to the analysis of functional magnetic resonance imaging (fMRI) data to study the brai...
Tülay Adali, Vince D. Calhoun, Yi-Ou Li
CHI
2009
ACM
16 years 7 months ago
Scientometric analysis of the CHI proceedings
The CHI conference has grown rapidly over the last 26 years. We present a quantitative analysis on the countries and organizations that contribute to its success. Only 7.8 percent...
Christoph Bartneck, Jun Hu
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 7 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
POPL
2008
ACM
16 years 7 months ago
Lightweight semiformal time complexity analysis for purely functional data structures
Okasaki and others have demonstrated how purely functional data structures that are efficient even in the presence of persistence can be constructed. To achieve good time bounds e...
Nils Anders Danielsson
POPL
2007
ACM
16 years 7 months ago
Interprocedural analysis of asynchronous programs
An asynchronous program is one that contains procedure calls which are not immediately executed from the callsite, but stored and "dispatched" in a non-deterministic ord...
Ranjit Jhala, Rupak Majumdar