3706 search results - page 474 / 742 » OntoComP System Description |
180
click to vote
ICFP
2003
ACM
16 years 6 months ago
2003
ACM
We propose a type system for locating the source of type errors in an applied lambda calculus with ML-style polymorphism. The system is based on discriminative sum types--known fr...
166
click to vote
SOSP
2001
ACM
16 years 3 months ago
2001
ACM
In most distributed systems, naming of nodes for low-level communication leveragestopologicallocation(such as node addresses) and is independentof any application. In this paper, ...
165
click to vote
RECSYS
2009
ACM
16 years 1 months ago
2009
ACM
Utility or preference elicitation is a critical component in many recommender and decision support systems. However, most frameworks for elicitation assume a predefined set of fe...
170
click to vote
ICPR
2008
IEEE
2008
IEEE
Gene function prediction using protein domain probability and hierarchical Gene Ontology information
16 years 1 months ago
The Gene Ontology (GO) is a controlled vocabulary of terms to describe protein functions. It also includes a hierarchical description of the relationships among the terms in the f...
173
click to vote
NCA
2008
IEEE
16 years 29 days ago
2008
IEEE
Distributed storage systems apply erasure-tolerant codes to guarantee reliable access to data despite failures of storage resources. While many codes can be mapped to XOR operatio...