14190 search results - page 290 / 2838 » computer 2008 |
159
Voted
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
Using appropriate notation systems for proofs, cutreduction can often be rendered feasible on these notations. Explicit bounds can be given. Developing a suitable notation system ...
187
click to vote
CVIU
2008
15 years 6 months ago
2008
This paper presents a new computational framework for modelling visual-object based attention and attention-driven eye movements within an integrated system in a biologically insp...
149
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Like a computer, the human brain inputs, processes, stores and outputs information. Yet the brain evolved along different design principles from those of the Von Neumann architect...
202
click to vote
CTRSA
2008
Springer
15 years 8 months ago
2008
Springer
In the setting of secure multiparty computation, a set of mutually distrustful parties wish to securely compute some joint function of their private inputs. The computation should...
239
click to vote
POPL
2008
ACM
16 years 7 months ago
2008
ACM
This pearl develops a statement about parallel prefix computation in the spirit of Knuth's 0-1-Principle for oblivious sorting algorithms. It turns out that 0-1 is not quite ...