1999 search results - page 242 / 400 » Dependently Typed Grammars |
144
click to vote
GLOBECOM
2006
IEEE
16 years 17 days ago
2006
IEEE
— Existing Internet worm research focuses either on worm detection inside an AS, or on prevention of Internet-wide worm epidemic. But of more practical concern is how to repel wo...
171
click to vote
WIOPT
2006
IEEE
16 years 15 days ago
2006
IEEE
A state-of-the-art orthogonal frequency division multiplexing (OFDM)-based access system, such as the DiffSeg system [1][2], uses a different set of transmission technologies, e.g...
171
click to vote
CSB
2005
IEEE
16 years 4 days ago
2005
IEEE
There is a diversity of functional genomics data, such as gene expression data from microarray experiments, phenotypic data from gene deletion experiments, protein-protein interac...
164
click to vote
CSFW
2005
IEEE
16 years 4 days ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
151
click to vote
COLT
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. There has been growing interest in practice in using unlabeled data together with labeled data in machine learning, and a number of different approaches have been develo...