1678 search results - page 110 / 336 » An ASM Specification of C |
BMCBI
2011
13 years 1 months ago
2011
Background: Although homology-based methods are among the most widely used methods for predicting the structure and function of proteins, the question as to whether interface sequ...
MICCAI
2005
Springer
14 years 11 months ago
2005
Springer
Diffusion Weighted Imaging (DWI) and Diffusion Tensor Imaging (DTI) are widely used in the study and diagnosis of neurological diseases involving the White Matter (WM). However, ma...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
STOC
2007
ACM
14 years 10 months ago
2007
ACM
While most polynomial Julia sets are computable, it has been recently shown [12] that there exist non-computable Julia sets. The proof was non-constructive, and indeed there were ...
SIGCOMM
2009
ACM
14 years 4 months ago
2009
ACM
Service oriented access in a multi-application, multi-access network environment poses interesting research challenges. One of these challenges refers to cross-layer interoperabil...