7121 search results - page 1031 / 1425 » Functions as Session-Typed Processes |
167
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
Recently, there has been considerable interest in providing “trusted computing platforms” using hardware — TCPA and Palladium being the most publicly visible examples. In th...
164
click to vote
SOFSEM
2010
Springer
16 years 3 months ago
2010
Springer
An arc-annotated string is a string of characters, called bases, augmented with a set of pairs, called arcs, each connecting two bases. Given arc-annotated strings P and Q the arc-...
154
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
The traditional SPM approach based on bag-of-features (BoF) must use nonlinear classifiers to achieve good image classification performance. This paper presents a simple but effec...
193
click to vote
CVPR
2010
IEEE
16 years 3 months ago
2010
IEEE
Future progress in neuroscience hinges on reconstruction of neuronal circuits to the level of individual synapses. Because of the specifics of neuronal architecture, imaging must ...
167
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper we considerably improve on a state-of-theart alpha matting approach by incorporating a new prior which is based on the image formation process. In particular, we mod...