3116 search results - page 322 / 624 » Positively dependent types |
141
click to vote
IJBC
2007
15 years 6 months ago
2007
Vanderbauwhede and van Gils, Krupa, and Langford studied unfoldings of bifurcations with purely imaginary eigenvalues and a nonsemisimple linearization, which generically occurs i...
172
click to vote
SIGPLAN
2008
15 years 6 months ago
2008
Many organizations specify information release policies to describe the terms under which sensitive information may be released to other organizations. This paper presents a new a...
183
click to vote
TKDE
2008
15 years 6 months ago
2008
Semisupervised clustering algorithms partition a given data set using limited supervision from the user. The success of these algorithms depends on the type of supervision and also...
172
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...
173
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 ...