Sciweavers

1265 search results - page 184 / 253
» Finding the Key to a Synapse
Sort
View
IFIP
2010
Springer
13 years 3 months ago
Information Flow Analysis via Path Condition Refinement
We present a new approach to information flow control (IFC), ploits counterexample-guided abstraction refinement (CEGAR) technology. The CEGAR process is built on top of our existi...
Mana Taghdiri, Gregor Snelting, Carsten Sinz
JMLR
2010
149views more  JMLR 2010»
13 years 3 months ago
Learning Bayesian Network Structure using LP Relaxations
We propose to solve the combinatorial problem of finding the highest scoring Bayesian network structure from data. This structure learning problem can be viewed as an inference pr...
Tommi Jaakkola, David Sontag, Amir Globerson, Mari...
JUCS
2010
159views more  JUCS 2010»
13 years 3 months ago
Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
Sergio Gutiérrez Santos, Jaime Mayor-Berzal...
MMAS
2010
Springer
13 years 3 months ago
Roughness-Induced Effect at Main Order on the Reynolds Approximation
Usually the Stokes equations that govern a flow in a smooth thin domain (with thickness of order ) are related to the Reynolds equation for the pressure psmooth. In this paper, we...
Didier Bresch, Catherine Choquet, Laurent Chupin, ...
MMAS
2010
Springer
13 years 3 months ago
A Novel Method for Solving Multiscale Elliptic Problems with Randomly Perturbed Data
We propose a method for efficient solution of elliptic problems with multiscale features and randomly perturbed coefficients. We use the multiscale finite element method (MsFEM) as...
Victor Ginting, Axel Målqvist, Michael Presh...