Sciweavers

945 search results - page 18 / 189
» On the robustness of primitive words
Sort
View
USS
2010
15 years 3 months ago
Capsicum: Practical Capabilities for UNIX
Capsicum is a lightweight operating system capability and sandbox framework planned for inclusion in FreeBSD 9. Capsicum extends, rather than replaces, UNIX APIs, providing new ke...
Robert N. M. Watson, Jonathan Anderson, Ben Laurie...
ICPR
2008
IEEE
16 years 7 months ago
A discriminative semi-Markov model for robust scene text recognition
We present a semi-Markov model for recognizing scene text that integrates character and word segmentation with recognition. Using wavelet features, it requires only approximate lo...
Allen R. Hanson, Erik G. Learned-Miller, Jerod J. ...
FUIN
2008
100views more  FUIN 2008»
15 years 6 months ago
Alias Types and Effects for "Environment-aware" Computations
We adapt the alias type technology to deal with primitives supporting environmentawareness (that is, the ability to adapt the behavior of according to the capabilities of the envi...
Ferruccio Damiani, Elena Giachino, Paola Giannini
JSYML
2008
109views more  JSYML 2008»
15 years 6 months ago
Closed fragments of provability logics of constructive theories
In this paper we give a new proof of the characterization of the closed fragment of the provability logic of Heyting's Arithmetic. We also provide a characterization of the c...
Albert Visser
CG
2011
Springer
15 years 1 months ago
Robust and blind mesh watermarking based on volume moments
This paper presents a robust and blind watermarking algorithm for threedimensional (3D) meshes. The watermarking primitive is an intrinsic 3D shape descriptor: the analytic and co...
Kai Wang, Guillaume Lavoué, Florence Denis,...