2286 search results - page 275 / 458 » Algorithms for Categorical Equivalence |
170
click to vote
ASIACRYPT
2007
Springer
16 years 1 months 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...
195
click to vote
IBPRIA
2007
Springer
16 years 1 months 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...
168
click to vote
ISSAC
2007
Springer
16 years 1 months 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...
205
click to vote
ISVC
2007
Springer
16 years 1 months 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...
187
click to vote
KI
2007
Springer
16 years 1 months 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...