1941 search results - page 370 / 389 » Reasoning about Computations Using Two-Levels of Logic |
FGCS
2010
14 years 10 months ago
2010
System-level virtualization is today enjoying a rebirth, after first gaining popularity in the 1970s as a technique to effectively share what were then considered large computin...
BMCBI
2007
14 years 12 months ago
2007
Background: Knowing which proteins exist in a certain organism or cell type and how these proteins interact with each other are necessary for the understanding of biological proce...
ISI
2006
Springer
14 years 11 months ago
2006
Springer
An intelligence analyst often needs to keep track of more facts than can be held in human memory. As a result, analysts use a notebook or evidence file to record facts learned so f...
196
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
BMCBI
2006
14 years 12 months ago
2006
Background: Methods for predicting protein function directly from amino acid sequences are useful tools in the study of uncharacterised protein families and in comparative genomic...