674 search results - page 91 / 135 » From Constructibility and Absoluteness to Computability and ... |
168
click to vote
CCS
2006
ACM
15 years 10 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...
200
click to vote
IWMMDBMS
1998
15 years 7 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...
150
click to vote
ALGORITHMICA
2005
15 years 6 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 ...
164
click to vote
CGF
1999
15 years 5 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...
160
click to vote
BMCBI
2008
15 years 6 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...