3333 search results - page 605 / 667 » Abstract Proof Search |
126
click to vote
ECCC
2007
15 years 3 months ago
2007
In cryptography, there has been tremendous success in building primitives out of homomorphic semantically-secure encryption schemes, using homomorphic properties in a blackbox way...
159
click to vote
ENTCS
2007
15 years 3 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
143
click to vote
ML
2008
ACM
15 years 3 months ago
2008
ACM
Abstract We present a new margin-based approach to first-order rule learning. The approach addresses many of the prominent challenges in first-order rule learning, such as the comp...
128
click to vote
MLDM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. We propose an approach to build a classifier composing consistent (100% confident) rules. Recently, associative classifiers that utilize association rules have been widel...
130
Voted
MT
2006
15 years 3 months ago
2006
Abstract. This paper describes an example-based machine translation (EBMT) method based on tree-string correspondence (TSC) and statistical generation. In this method, the translat...