1982 search results - page 216 / 397 » Parametricity and dependent types |
168
click to vote
ECML
2003
Springer
15 years 11 months ago
2003
Springer
In traditional multi-instance (MI) learning, a single positive instance in a bag produces a positive class label. Hence, the learner knows how the bag’s class label depends on th...
156
click to vote
FMCO
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
151
click to vote
ICCS
2003
Springer
15 years 11 months ago
2003
Springer
Because botanical taxonomies are prototypical classifications it would seem that it should be easy to formalize them as concept lattices or type hierarchies. On closer inspection,...
186
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Clusters of workstations have emerged as a costeffective solution to high performance computing problem. To take advantage of any opportunities, however, effective scheduling tech...
203
click to vote
ISPAN
2002
IEEE
15 years 11 months ago
2002
IEEE
Index is an important element in databases, and the existence of index is unavoidable. When an index has been built on a particular attribute, database operations (e.g. selection,...