3273 search results - page 528 / 655 » types 2007 |
131
click to vote
ECCC
2007
15 years 4 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...
142
click to vote
EJIS
2007
15 years 4 months ago
2007
This paper examines IS higher education, concentrating on issues of ‘coherence’ in IS curricula. While curriculum coherence can be jeopardized by poor curriculum design, misal...
131
click to vote
ENGL
2007
15 years 4 months ago
2007
— This paper is intended to compare the performance of four different types of fuzzy aggregation methods in classification of epilepsy risk levels from EEG Signal parameters. The...
138
Voted
ENTCS
2007
15 years 4 months ago
2007
We present a technique for inducing functional programs from few, well chosen input/output-examples (I/Oexamples). Potential applications for automatic program or algorithm induct...
141
click to vote
ENTCS
2007
15 years 4 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...