674 search results - page 75 / 135 » From Constructibility and Absoluteness to Computability and ... |
110
click to vote
CRYPTO
2010
Springer
15 years 3 months ago
2010
Springer
Homomorphic encryption (HE) schemes enable computing functions on encrypted data, by means of a public Eval procedure that can be applied to ciphertexts. But the evaluated ciphert...
100
click to vote
SMA
2005
ACM
15 years 7 months ago
2005
ACM
Constructing splines whose parametric domain is an arbitrary manifold and effectively computing such splines in realworld applications are of fundamental importance in solid and ...
ISQED
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— Reliability enhancements are traditionally implemented through redundancies at the system level or through the use of harden-cell-designs at the circuit level. Reliabil...
121
click to vote
AIMSA
1998
Springer
15 years 6 months ago
1998
Springer
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
139
click to vote
ISVC
2010
Springer
15 years 13 days ago
2010
Springer
In this paper, we propose an automatic learning method for gesture recognition. We combine two different pattern recognition techniques: the SelfOrganizing Map (SOM) and Support Ve...