3674 search results - page 79 / 735 » Information Dependencies |
IPMI
2003
Springer
14 years 9 months ago
2003
Springer
We formulate and interpret several registration methods in the context of a unified statistical and information theoretic framework. A unified interpretation clarifies the implici...
APSEC
2001
IEEE
14 years 12 days ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
ELPUB
2006
ACM
14 years 2 months ago
2006
ACM
The indexation of documents is a critical step of the information retrieval process and is often a manual task which highly depends on the indexer’s knowledge. We propose to imp...
TPHOL
2005
IEEE
14 years 2 months ago
2005
IEEE
Abstract. Denotational semantics for a substantial fragment of Java is formalized by deep embedding in PVS, making extensive use of dependent types. A static analyzer for secure in...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Based on data from a large-scale experiment with human subjects, we conclude that the logarithm of probability to guess a word in context (unpredictability) depends linearly on the...