21430 search results - page 4205 / 4286 » Abstract Effective Models |
128
click to vote
WALCOM
2010
IEEE
15 years 10 months ago
2010
IEEE
Abstract. Arc-annotated sequences are useful for representing structural information of RNAs and have been extensively used for comparing RNA structures in both terms of sequence a...
110
click to vote
TACAS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
132
click to vote
RECOMB
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Metagenomics is the study of microbial communities sampled directly from their natural environment, without prior culturing. Among the computational tools recently develo...
121
click to vote
PAM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. To describe, analyze, and model the topological and structural characteristics of the Internet, researchers use Internet maps constructed at the router or autonomous syst...
133
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...