923 search results - page 113 / 185 » The Computational Structure of Progress Conditions |
107
click to vote
SDM
2012
SIAM
13 years 6 days ago
2012
SIAM
: Feature Selection “Tomography” - Illustrating that Optimal Feature Filtering is Hopelessly Ungeneralizable George Forman HP Laboratories HPL-2010-19R1 Feature selection; ...
BMCBI
2006
14 years 9 months ago
2006
Background: Common fragile sites (cfs) are specific regions in the human genome that are particularly prone to genomic instability under conditions of replicative stress. Several ...
TPHOL
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract. This paper describes a formalization of the weakest precondition, wp, for general recursive programs using the type-theoretical proof assistant Coq. The formalization is ...
SIGGRAPH
1997
ACM
15 years 2 months ago
1997
ACM
This paper outlines a technique for treating input texture images as probability density estimators from which new textures, with similar appearance and structural properties, can...
SC
1993
ACM
15 years 1 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...