3116 search results - page 191 / 624 » Positively dependent types |
156
click to vote
BCSHCI
2009
15 years 5 months ago
2009
People use media-sharing web sites to document their lives and those of their children for maintaining and strengthening social ties with people living away. It is clear then that...
151
click to vote
POPL
2010
ACM
16 years 2 months ago
2010
ACM
Since Findler and Felleisen [2002] introduced higher-order contracts, many variants have been proposed. Broadly, these fall into two groups: some follow Findler and Felleisen in u...
144
Voted
BMCBI
2010
2010
Orientation-dependent backbone-only residue pair scoring functions for fixed backbone protein design
15 years 4 months ago
Background: Empirical scoring functions have proven useful in protein structure modeling. Most such scoring functions depend on protein side chain conformations. However, backbone...
147
Voted
BMCBI
2005
15 years 4 months ago
2005
Background: Functional analysis of data from genome-scale experiments, such as microarrays, requires an extensive selection of differentially expressed genes. Under many condition...
131
click to vote
ICPR
2000
IEEE
16 years 5 months ago
2000
IEEE
A wide number of algorithmsfor surjtiacesegmentationin range images have been recentlyproposed characterizedby different approaches (edgefilling, regiongrowing, ...), different su...