4116 search results - page 132 / 824 » Type Analysis for CHIP |
SAS
2010
Springer
13 years 7 months ago
2010
Springer
We propose lazy propagation as a technique for flow- and context-sensitive interprocedural analysis of programs with objects and first-class functions where transfer functions ma...
BIRTHDAY
2008
Springer
13 years 11 months ago
2008
Springer
We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented i...
NIPS
2007
13 years 10 months ago
2007
Traditional analysis methods for single-trial classification of electroencephalography (EEG) focus on two types of paradigms: phase locked methods, in which the amplitude of the ...
MVA
1994
13 years 10 months ago
1994
Image processing technology plays an important part in the analysis and evaluation of pavement surface cracking. The pattern recognition method for crack geometry proposed in this...
PAKDD
1999
ACM
14 years 1 months ago
1999
ACM
In this paper, we analyze quantitative measures associated with if-then type rules. Basic quantities are identified and many existing measures are examined using the basic quantit...