19798 search results - page 37 / 3960 » Is Structural Subtyping Useful |
124
Voted
ISBRA
2010
Springer
15 years 11 days ago
2010
Springer
The study of non-sequential alignments, with different connectivity of the aligned fragments in the proteins being compared can offer a more complete picture of the structural, evo...
111
click to vote
CSB
2005
IEEE
15 years 8 months ago
2005
IEEE
This study shows an effective way to explore and visualize the structure-activity relationships (SARs) of flavonoids with antioxidant activity using structure- activity maps (SAMs...
225
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
113
click to vote
ICDT
2010
ACM
15 years 7 months ago
2010
ACM
We examine schema mappings from a type-theoretic perspective and aim to facilitate and formalize the reuse of mappings. Starting with the mapping language of Clio, we present a ty...
113
click to vote
ICFP
2000
ACM
15 years 6 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...