699 search results - page 84 / 140 » mc 2008 |
126
Voted
OSDI
2008
ACM
16 years 3 months ago
2008
ACM
Conceptually, fast server-side page cache storage could dramatically reduce paging I/O. In this extended abstract, we speculate how such a device might be used, then show how it c...
126
click to vote
ICFP
2008
ACM
16 years 3 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...
126
Voted
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— We consider the problem of designing optimal distributed controllers whose impulse response has limited propagation speed. We introduce a state-space framework in which such co...
113
click to vote
HAPTICS
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a floor tile designed to provide the impression of walking on different ground materials, such as gravel, carpet, or stone. The device uses affordable and commerciall...
122
click to vote
ICPR
2008
IEEE
15 years 10 months ago
2008
IEEE
A fuzzy c-means algorithm was adapted for analyzing microarray data. The adaptation consisted of initialization of fuzzy centroids using gene ontology information and the use of P...