2286 search results - page 275 / 458 » Algorithms for Categorical Equivalence |
159
click to vote
ASIACRYPT
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. GPUs offer a tremendous amount of computational bandwidth that was until now largely unusable for cryptographic computations due to a lack of integer arithmetic and user...
170
click to vote
IBPRIA
2007
Springer
16 years 24 days ago
2007
Springer
This paper describes an experimental study about a robust contour feature (shape-context) for using in action recognition based on continuous hidden Markov models (HMM). We ran dif...
155
click to vote
ISSAC
2007
Springer
16 years 24 days ago
2007
Springer
In this paper, we describe the design of a C library named PTPol implementing arithmetic operations for univariate polynomials and report on practical experiments showing the rele...
182
click to vote
ISVC
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We describe a method of directly extracting a simplified contour surface along with detailed normal maps from volume data in one fast and integrated process. A robust du...
173
click to vote
KI
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Knowledge compilation is a common technique for propositional logic knowledge bases. The idea is to transform a given knowledge base into a special normal form ([MR03],[D...