7921 search results - page 209 / 1585 » LSH-preserving functions and their applications |
153
click to vote
DAGSTUHL
2008
15 years 8 months ago
2008
Techniques of reliable computing, like interval arithmetic, can be used to guarantee reliable solutions even in the presence of numerical round-off errors. The need to trace bounds...
181
click to vote
IJCAI
2001
15 years 8 months ago
2001
Computer modeling and simulation are indispensable for understanding the functioning of an organism on a molecular level. We present an implemented method for the qualitative simu...
216
click to vote
COCO
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the question of what languages can be decided efficiently with the help of a recursive collisionfinding oracle. Such an oracle can be used to break collisionresistan...
173
click to vote
Publication
This paper describes the structure of, and the ideas behind, a self-applicable specializer of programs, as well as the principles of operation of a compiler generator that has been...
140
click to vote
AIS
2007
Springer
15 years 6 months ago
2007
Springer
Many recent developments in technological design are aimed towards the ‘humanisation’ of technology, that is, making technology behave in a way that is more ‘intuitive’, â€...