1511 search results - page 59 / 303 » Relational Parametricity for Computational Effects |
262
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
Noninterference is the basic semantical condition used to account for confidentiality and integrity-related properties in programming languages. There appears to be an at least im...
171
click to vote
SDM
2011
SIAM
14 years 7 months ago
2011
SIAM
Extracting semantic relations between entities is an important step towards automatic text understanding. In this paper, we propose a novel Semi-supervised Convolution Graph Kerne...
139
click to vote
BMCBI
2008
2008
Relating gene expression data on two-component systems to functional annotations in Escherichia coli
15 years 4 months ago
Background: Obtaining physiological insights from microarray experiments requires computational techniques that relate gene expression data to functional information. Traditionall...
237
click to vote
DEBU
2007
15 years 4 months ago
2007
The volume of information in natural languages in electronic format is increasing exponentially. The demographics of users of information management systems are becoming increasin...
155
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Program dynamic optimization, adaptive to runtime behavior changes, has become increasingly important for both performance and energy savings. However, most runtime optimizations o...