1115 search results - page 73 / 223 » An Abstract Look at Realizability |
BNCOD
2004
13 years 11 months ago
2004
Abstract. Traditional recovery mechanisms are not adequate in protecting databases from malicious attacks. A malicious transaction by virtue of writing on to the database can corru...
DATESO
2004
13 years 11 months ago
2004
Abstract. In the area of information retrieval, the dimension of document vectors plays an important role. Firstly, with higher dimensions index structures suffer the "curse o...
EUROPLOP
2006
13 years 11 months ago
2006
The New Oxford Dictionary of English A powerful and well-chosen metaphor can speak a thousand words in terms of the insight it gives to the audience; a poor one can hide and confu...
DAGSTUHL
2001
13 years 11 months ago
2001
This paper argues that "formal methods" can (continue to) provide the thinking tools for the future of computing science. Every significant engineering or scientific disc...
KDID
2004
13 years 11 months ago
2004
Abstract. Recently, different works proposed a new way to mine patterns in databases with pathological size. For example, experiments in genome biology usually provide databases wi...