Sciweavers

42507 search results - page 168 / 8502
» On the analysis of
Sort
View
TACAS
2009
Springer
135views Algorithms» more  TACAS 2009»
16 years 1 months ago
Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of Threads
Context-bounded analysis has been shown to be both efficient and effective at finding bugs in concurrent programs. According to its original definition, context-bounded analysis...
Mohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer
ESEM
2009
ACM
16 years 1 months ago
Cognitive factors in perspective-based reading (PBR): A protocol analysis study
The following study investigated cognitive factors involved in applying the Perspective-Based Reading (PBR) technique for defect detection in software inspections. Using the proto...
Bryan Robbins, Jeff Carver
ICASSP
2008
IEEE
16 years 1 months ago
Robust correlation analysis with an application to functional MRI
Correlation is often used to measure the similarity between signals and is an important tool in signal and image processing. In some applications it is common that signals are cor...
Joakim Rydell, Magnus Borga, Hans Knutsson
ICPR
2008
IEEE
16 years 1 months ago
Regularized discriminant analysis for transformation-invariant object recognition
We present a novel method for incorporating prior knowledge about invariances in object recognition for discriminant analysis. In contrast to conventional isotropic regularization...
Yung-Kyun Noh, Jihun Ham, Daniel D. Lee
ICPR
2008
IEEE
16 years 1 months ago
Quantitative analysis of Iaido proficiency by using motion data
The purpose of this research is to make a quantitative analysis of Iaido (the Japanese art of using the Japanese sword) proficiency with multivariate data analysis. We carried out...
Woong Choi, Sho Mukaida, Hiroyuki Sekiguchi, Kozab...