674 search results - page 91 / 135 » From Constructibility and Absoluteness to Computability and ... |
118
click to vote
CCS
2006
ACM
15 years 5 months ago
2006
ACM
Type systems for secure information flow aim to prevent a program from leaking information from variables classified as H to variables classified as L. In this work we extend such...
134
click to vote
IWMMDBMS
1998
15 years 3 months ago
1998
: In recent years the fusion of multimedia information from multiple real-time sources and databases has become increasingly important because of its practical significance in many...
103
click to vote
ALGORITHMICA
2005
15 years 1 months ago
2005
Abstract. We consider random tries and random patricia trees constructed from n independent strings of symbols drawn from any distribution on any discrete space. We show that many ...
116
click to vote
CGF
1999
15 years 1 months ago
1999
The display of images on binary output hardware requires a halftoning step. Conventional halftoning algorithms approximate image values independently from the image content and of...
111
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The current versions of the COG and arCOG databases, both excellent frameworks for studies in comparative and functional genomics, do not contain the nucleotide sequen...