2335 search results - page 332 / 467 » Type Checking Type Classes |
140
Voted
COLING
1990
15 years 3 months ago
1990
Our goal is to explore methods for combining structured but incomplete information from dictionaries with the unstructured but more complete information available in corpora for t...
160
Voted
WOA
2007
15 years 3 months ago
2007
—In this paper we study how roles can be added to patterns modelling relationships in Object Oriented programming, and which new relationship patterns can be introduced using rol...
120
Voted
CAD
2010
Springer
15 years 2 months ago
2010
Springer
We present a new constructive solving approach for systems of 3D geometric constraints. The solver is based on the cluster rewriting approach, which can efficiently solve large sy...
125
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We present a novel approach to semisupervised learning which is based on statistical physics. Most of the former work in the field of semi-supervised learning classifies the point...
127
Voted
JGAA
2006
15 years 2 months ago
2006
We consider the problem of constructing a minimal cycle-breaking set of turns for a given undirected graph. This problem is important for deadlock-free wormhole routing in compute...