4770 search results - page 148 / 954 » Flexible Type Analysis |
147
click to vote
WSC
2007
15 years 6 months ago
2007
Emergent behaviors in simulations require explanation, so that valid behaviors can be separated from design or coding errors. We present a taxonomy, to be applied to emergent beha...
133
click to vote
BMCBI
2004
15 years 4 months ago
2004
Background: New techniques for determining relationships between biomolecules of all types
123
click to vote
SAS
2010
Springer
15 years 2 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...
146
click to vote
BIRTHDAY
2008
Springer
15 years 6 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...
147
Voted
NIPS
2007
15 years 6 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 ...