Sciweavers

1133 search results - page 208 / 227
» Local Logics for Traces
Sort
View
ICMAS
2000
15 years 1 months ago
Justifying Multiply Sectioned Bayesian Networks
We consider multiple agents who's task is to determine the true state of a uncertain domain so they can act properly. If each agent only has partial knowledge about the domai...
Yang Xiang, Victor R. Lesser
111
Voted
GLVLSI
2008
IEEE
150views VLSI» more  GLVLSI 2008»
14 years 12 months ago
Using unsatisfiable cores to debug multiple design errors
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
André Sülflow, Görschwin Fey, Rod...
BMCBI
2010
109views more  BMCBI 2010»
14 years 12 months ago
FPGA acceleration of the phylogenetic likelihood function for Bayesian MCMC inference methods
Background: Likelihood (ML)-based phylogenetic inference has become a popular method for estimating the evolutionary relationships among species based on genomic sequence data. Th...
Stephanie Zierke, Jason D. Bakos
FGCS
2008
147views more  FGCS 2008»
14 years 11 months ago
QoS-based dissemination of content in Grids
This paper proposes a bio-inspired approach tailored to the construction of a Grid information system in which content, specifically metadata descriptors that specify the characte...
Agostino Forestiero, Carlo Mastroianni, Giandomeni...
IJOE
2008
120views more  IJOE 2008»
14 years 11 months ago
Application of the Control Validation to the D.E.S. Teaching
Objectives of Automation courses are knowledge and know-how transfer to students. It is important for learner to control locally or remotely real systems composed of many sensors a...
Pascale Marange, François Gellot, Bernard R...