Sciweavers

3688 search results - page 288 / 738
» Static analysis of aspects
Sort
View
183
Voted
ML
2007
ACM
144views Machine Learning» more  ML 2007»
15 years 6 months ago
Invariant kernel functions for pattern analysis and machine learning
In many learning problems prior knowledge about pattern variations can be formalized and beneficially incorporated into the analysis system. The corresponding notion of invarianc...
Bernard Haasdonk, Hans Burkhardt
TVCG
2012
225views Hardware» more  TVCG 2012»
13 years 9 months ago
Evaluating the Role of Time in Investigative Analysis of Document Collections
—Time is a universal and essential aspect of data in any investigative analysis. It helps analysts establish causality, build storylines from evidence, and reject infeasible hypo...
Bum chul Kwon, Waqas Javed, Sohaib Ghani, Niklas E...
DAC
2004
ACM
16 years 7 months ago
Defining coverage views to improve functional coverage analysis
Coverage analysis is used to monitor the quality of the verification process. Reports provided by coverage tools help users identify areas in the design that have not been adequat...
Sigal Asaf, Eitan Marcus, Avi Ziv
MICCAI
2006
Springer
16 years 7 months ago
Fast and Accurate Connectivity Analysis Between Functional Regions Based on DT-MRI
Diffusion tensor and functional MRI data provide insight into function and structure of the human brain. However, connectivity analysis between functional areas is still a challeng...
Dorit Merhof, Mirco Richter, Frank Enders, Peter H...
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...