Sciweavers

13461 search results - page 112 / 2693
» Generalization with Taxonomic Information
Sort
View
CSFW
2005
IEEE
14 years 3 months ago
Computational and Information-Theoretic Soundness and Completeness of Formal Encryption
We consider expansions of the Abadi-Rogaway logic of indistinguishability of formal cryptographic expressions. We expand the logic in order to cover cases when partial information...
Pedro Adão, Gergei Bana, Andre Scedrov
ACSW
2004
13 years 11 months ago
A Case Study in Access Control Requirements for a Health Information System
We present a detailed examination of the access constraints for a small real-world Health Information System with the aim of achieving minimal access rights for each of the involv...
Mark Evered, Serge Bögeholz
JC
2006
53views more  JC 2006»
13 years 10 months ago
The randomized information complexity of elliptic PDE
We study the information complexity in the randomized setting of solving a general elliptic PDE of order 2m in a smooth, bounded domain Q Rd with smooth coefficients and homogene...
Stefan Heinrich
ACL
2009
13 years 8 months ago
Optimizing Language Model Information Retrieval System with Expectation Maximization Algorithm
Statistical language modeling (SLM) has been used in many different domains for decades and has also been applied to information retrieval (IR) recently. Documents retrieved using...
Justin Liang-Te Chiu, Jyun-Wei Huang
CORR
2011
Springer
183views Education» more  CORR 2011»
13 years 4 months ago
Reconstruction of Binary Functions and Shapes from Incomplete Frequency Information
The characterization of a binary function by partial frequency information is considered. We show that it is possible to reconstruct the binary signal from incomplete frequency me...
Yu Mao