1087 search results - page 101 / 218 » Eta-Redexes in Partial Evaluation |
147
click to vote
ASIACRYPT
2003
Springer
15 years 11 months ago
2003
Springer
Provable security usually makes the assumption that a source of perfectly random and secret data is available. However, in practical applications, and especially when smart cards a...
175
click to vote
ICDCS
2002
IEEE
15 years 11 months ago
2002
IEEE
Data mining systems aim to discover patterns and extract useful information from facts recorded in databases. A widely adopted approach is to apply machine learning algorithms to ...
183
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Overall performance of the data mining process depends not just on the value of the induced knowledge but also on various costs of the process itself such as the cost of acquiring...
281
click to vote
MICRO
2000
IEEE
15 years 6 months ago
2000
IEEE
level of abstraction, compared with the program representation for scalar optimizations. For example, loop unrolling and loop unrolland-jam transformations exploit the large regist...
181
click to vote
MICCAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. In order to evaluate the quality of segmentations of an image and assess intra- and inter-expert variability in segmentation performance, an Expectation Maximization (EM)...