4698 search results - page 245 / 940 » Making Functionality More General |
118
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
A protocol for computing a functionality is secure if an adversary in this protocol cannot cause more harm than in an ideal computation where parties give their inputs to a truste...
137
click to vote
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Successful lighting in video games is more than a physically accurate illumination model. Aesthetics and function are of equal or greater importance. Lighting designers may deviat...
160
click to vote
KDD
2010
ACM
15 years 2 months ago
2010
ACM
Scalable similarity search is the core of many large scale learning or data mining applications. Recently, many research results demonstrate that one promising approach is creatin...
155
click to vote
WEA
2010
Springer
15 years 11 months ago
2010
Springer
Resource leveling is a variant of resource-constrained project scheduling in which a non-regular objective function, the resource availability cost, is to be minimized. We present ...
134
click to vote
TYPES
1999
Springer
15 years 8 months ago
1999
Springer
We propose a method to search for a lemma in a goq proof library by using the lemma type as a key. The method is based on the concept of type isomorphism developed within the funct...