1513 search results - page 169 / 303 » Cryptographic Pattern Matching |
ICDCS
2010
IEEE
13 years 7 months ago
2010
IEEE
As Cloud Computing becomes prevalent, sensitive information are being increasingly centralized into the cloud. For the protection of data privacy, sensitive data has to be encrypte...
CVPR
2001
IEEE
15 years 11 days ago
2001
IEEE
We present a component-based, trainable system for detecting frontal and near-frontal views of faces in still gray images. The system consists of a two-level hierarchy of Support ...
WWW
2009
ACM
14 years 11 months ago
2009
ACM
This paper presents SOFIE, a system for automated ontology extension. SOFIE can parse natural language documents, extract ontological facts from them and link the facts into an on...
POPL
2001
ACM
14 years 10 months ago
2001
ACM
We present a type system for a language based on F, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination o...
CADE
2006
Springer
14 years 10 months ago
2006
Springer
Abstract. Based on inductive definitions, we develop an automated tool for defining partial recursive functions in Higher-Order Logic and providing appropriate reasoning tools for ...