3688 search results - page 404 / 738 » Static analysis of aspects |
177
click to vote
FOCM
2010
15 years 5 months ago
2010
B-series are a fundamental tool in practical and theoretical aspects of numerical integrators for ordinary differential equations. A composition law for B-series permits an elega...
165
click to vote
PTS
2010
15 years 5 months ago
2010
We propose a symbolic framework called guarded labeled assignment systems or GLASs and show how GLASs can be used as a foundation for symbolic analysis of various aspects of forma...
160
click to vote
NAACL
2010
15 years 4 months ago
2010
In evidence-based medicine, clinical questions involve four aspects: Patient/Problem (P), Intervention (I), Comparison (C) and Outcome (O), known as PICO elements. In this paper w...
215
click to vote
BMCBI
2008
15 years 7 months ago
2008
Background: Correctly merged data sets that have been independently genotyped can increase statistical power in linkage and association studies. However, alleles from microsatelli...
182
click to vote
SIGDOC
2009
ACM
16 years 1 months ago
2009
ACM
This poster presents ongoing research on how discursive and editing behaviors are regulated on Wikipedia by means of documented rules and practices. Our analysis focuses on three ...