3116 search results - page 354 / 624 » Positively dependent types |
174
Voted
CCS
2007
ACM
16 years 26 days ago
2007
ACM
In this work we re-visit the question of building cryptographic primitives that remain secure even when queried on inputs that depend on the secret key. This was investigated by B...
153
click to vote
ECAL
2007
Springer
16 years 25 days ago
2007
Springer
Real organisms live in a world full of uncertain situations and have evolved cognitive mechanisms to cope with problems based on actions and perceptions which are not always reliab...
145
click to vote
ICANN
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Taking neuromodulation as a mechanism underlying emotions, this paper investigates how such a mechanism can bias an artificial neural network towards exploration of new ...
175
click to vote
ISW
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
173
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
This paper reports our first set of results on managing uncertainty in data integration. We posit that data-integration systems need to handle uncertainty at three levels, and do...