877 search results - page 40 / 176 » Full Abstraction for HOPLA |
AIR
2004
13 years 7 months ago
2004
Abstract. Outlier detection has been used for centuries to detect and, where appropriate, remove anomalous observations from data. Outliers arise due to mechanical faults, changes ...
ACS
2000
13 years 7 months ago
2000
Abstract. We develop a general setting for the treatment of extensions of categories by means of freely adjoined morphisms. To this end, we study what we call composition graphs, i...
MOC
2000
13 years 7 months ago
2000
Abstract. There has been important progress in constructing units and Sunits associated to curves of genus 2 or 3. These approaches are based mainly on the consideration of propert...
NAR
2000
13 years 7 months ago
2000
The RESID Database contains supplemental information on post-translational modifications for the standardized annotations appearing in the PIR-International Protein Sequence Datab...
JFP
2002
13 years 7 months ago
2002
Higher-order languages, such as Haskell, encourage the proto build abstractions by composing functions. A good compiler must inline many of these calls to recover an e ciently exe...