1828 search results - page 301 / 366 » First-Class Type Classes |
112
click to vote
CORR
2002
Springer
15 years 2 months ago
2002
Springer
We introduce a new approach for drawing diagrams. Our approach is to use a technique we call confluent drawing for visualizing non-planar graphs in a planar way. This approach all...
92
Voted
ENTCS
2000
15 years 2 months ago
2000
We present here a large family of concrete models for Girard and Reynolds polymorphism (System F), in a non categorical setting. The family generalizes the construction of the mod...
119
Voted
CORR
2002
Springer
15 years 2 months ago
2002
Springer
A large body of research in machine learning is concerned with supervised learning from examples. The examples are typically represented as vectors in a multi-dimensional feature ...
117
Voted
DCG
2002
15 years 2 months ago
2002
We discuss methods for the generation of oriented matroids and of isomorphism classes of oriented matroids. Our methods are based on single element extensions and graph theoretica...
117
Voted
JUCS
2000
15 years 2 months ago
2000
Abstract: A study of the classes of nite relations as enriched strict monoidal categories is presented in CaS91]. The relations there are interpreted as connections in owchart sche...