21183 search results - page 3729 / 4237 » Adaptive Testing by Test |
192
click to vote
ASPDAC
2012
ACM
14 years 3 months ago
2012
ACM
In this paper, we examine the integration potential and explore the design space of low power thermal reliable on-chip interconnect synthesis featuring nanophotonics Wavelength Di...
230
click to vote
COMGEO
2012
ACM
14 years 3 months ago
2012
ACM
Let G be an unweighted graph of complexity n embedded in a surface of genus g, orientable or not. We describe improved algorithms to compute a shortest non-contractible and a shor...
253
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
Compiling Bayesian networks (BNs) to junction trees and performing belief propagation over them is among the most prominent approaches to computing posteriors in BNs. However, bel...
220
click to vote
CORR
2012
Springer
14 years 3 months ago
2012
Springer
Given a set of experiments in which varying subsets of observed variables are subject to intervention, we consider the problem of identifiability of causal models exhibiting late...
227
click to vote
ESOP
2012
Springer
14 years 3 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...