7047 search results - page 112 / 1410 » Focusing on Binding and Computation |
142
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Propositional canonical Gentzen-type systems, introduced in [2], are systems which in addition to the standard axioms and structural rules have only logical rules in which exactly ...
148
click to vote
NAR
2007
15 years 5 months ago
2007
Snap (Single Nucleotide Polymorphism Annotation Platform) is a server designed to comprehensively analyze single genes and relationships between genes basing on SNPs in the human ...
182
click to vote
ECRTS
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Energy and thermal considerations are increasingly driving system designers to adopt multi-core processors. In this paper, we consider the problem of scheduling periodic ...
155
click to vote
NAR
2010
15 years 1 months ago
2010
The continuing threat of infectious disease and future pandemics, coupled to the continuous increase of drug-resistant pathogens, makes the discovery of new and better vaccines im...
169
click to vote
PERCOM
2009
ACM
16 years 1 months ago
2009
ACM
—In this paper, an information grouping paradigm for QoI in sensor networks is introduced. First, a definition of QoI is presented by analyzing the ITU’s definition of QoS. T...