2286 search results - page 119 / 458 » Algorithms for Categorical Equivalence |
ICCV
2003
IEEE
15 years 12 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...
SIGSOFT
2009
ACM
15 years 10 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...
112
click to vote
HICSS
2007
IEEE
15 years 4 months 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...
PG
2003
IEEE
15 years 3 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...
IJCAI
2003
14 years 11 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...