981 search results - page 192 / 197 » Symbolic pointer analysis |
ESOP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
ECIS
2004
13 years 10 months ago
2004
As Information Systems (IS) research increasingly acknowledges the importance of non-positivist approaches, the case for a plurality of theories to guide qualitative studies has g...
IMAGING
2003
13 years 10 months ago
2003
Many image formation processes are complex interactions of several sub-processes and the analysis of the resulting images requires often to separate the influence of these sub-pr...
BMCBI
2007
13 years 9 months ago
2007
Background: Although molecular pathway information and the International HapMap Project data can help biomedical researchers to investigate the aetiology of complex diseases more ...
BMCBI
2007
13 years 9 months ago
2007
Background: There are some limitations associated with conventional clustering methods for short time-course gene expression data. The current algorithms require prior domain know...