2286 search results - page 119 / 458 » Algorithms for Categorical Equivalence |
146
click to vote
ICCV
2003
IEEE
16 years 8 months ago
2003
IEEE
3D surface classification is a fundamental problem in computer vision and computational geometry. Surfaces can be classified by different transformation groups. Traditional classi...
144
click to vote
SIGSOFT
2009
ACM
16 years 6 months ago
2009
ACM
We propose a new algorithm for verifying concurrent programs, which uses concrete executions to partition the program into a set of lean partitions called concurrent trace program...
190
click to vote
HICSS
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract— Social decision support systems are able to aggregate the local perspectives of a diverse group of individuals into a global social decision. This paper presents a mult...
115
click to vote
PG
2003
IEEE
15 years 11 months ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
165
click to vote
IJCAI
2003
15 years 7 months ago
2003
We present a simple, easily implemented spectral learning algorithm which applies equally whether we have no supervisory information, pairwise link constraints, or labeled example...