1982 search results - page 231 / 397 » Parametricity and dependent types |
170
click to vote
CGF
2004
15 years 6 months ago
2004
This paper describes a novel approach to the parameterization of triangle meshes representing 2-manifolds with an arbitrary genus. A topology-based decomposition of the shape is c...
168
click to vote
COLING
2002
15 years 6 months ago
2002
We propose a formal characterization of variation in the syntactic realization of semantic arguments, using hierarchies of syntactic relations and thematic roles, and a mechanism ...
158
click to vote
CCE
2007
15 years 6 months ago
2007
This study focuses on performance assessment of industrial controllers. A methodology based on the concept of the predictability of controller errors is proposed for performance m...
187
click to vote
JCNS
2000
15 years 6 months ago
2000
The dynamics of networks of sparsely connected excitatory and inhibitory integrate-and-fire neurons are studied analytically. The analysis reveals a rich repertoire of states, incl...
146
click to vote
EOR
2002
15 years 6 months ago
2002
The assignment of alternatives (observations/objects) into predefined homogenous groups is a problem of major practical and research interest. This type of problem is referred to ...