2679 search results - page 103 / 536 » Experimental Models for Validating Technology |
102
Voted
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
As industry moves towards many-core chips, networks-on-chip (NoCs) are emerging as the scalable fabric for interconnecting the cores. With power now the first-order design constr...
119
click to vote
BMCBI
2011
14 years 7 months ago
2011
Background: The analysis of protein structures provides fundamental insight into most biochemical functions and consequently into the cause and possible treatment of diseases. As ...
98
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
We consider the coverage testing problem where we are given a document and a corpus with a limited query interface and asked to find if the corpus contains a near-duplicate of th...
75
Voted
IRI
2007
IEEE
15 years 7 months ago
2007
IEEE
Suppose we are given a set A of activities of interest, a set O of observations, and a probability threshold p. We are interested in finding the set of all pairs (a, O ), where a...
96
Voted
MKM
2004
Springer
15 years 6 months ago
2004
Springer
We describe an extension of first-order logic with sequence variables and sequence functions. We define syntax, semantics and inference system for the extension so that Completen...