9405 search results - page 174 / 1881 » Computing a Model of Set Theory |
124
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...
130
Voted
CVPR
2010
IEEE
15 years 11 months ago
2010
IEEE
Scene recognition in an unconstrained setting is an open and challenging problem with wide applications. In this paper, we study the role of scene dynamics for improved representa...
109
Voted
SIGCOMM
2010
ACM
15 years 3 months ago
2010
ACM
Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise ne...
139
click to vote
FSEN
2009
Springer
15 years 10 months ago
2009
Springer
Automata theory presents roughly three types of automata: finite automata, pushdown automata and Turing machines. The automata are treated as language acceptors, and the expressiv...
138
click to vote
LICS
2006
IEEE
15 years 9 months ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....