1332 search results - page 108 / 267 » ideas 2008 |
132
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
This paper outlines a general picture of our ongoing work under EU Mobius and Sensoria projects on a type-based compilation and execution framework for a class of multicore CPUs. O...
136
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
155
click to vote
SDM
2008
SIAM
15 years 6 months ago
2008
SIAM
With the advent of high throughput technologies, feature selection has become increasingly important in a wide range of scientific disciplines. We propose a new feature selection ...
155
click to vote
SODA
2008
ACM
15 years 6 months ago
2008
ACM
We introduce a new technique to bound the asymptotic performance of splay trees. The basic idea is to transcribe, in an indirect fashion, the rotations performed by the splay tree...
134
click to vote
AAAI
2008
15 years 5 months ago
2008
Arrow’s Impossibility Theorem is one of the landmark results in social choice theory. Over the years since the theorem was proved in 1950, quite a few alternative proofs have be...