Sciweavers

1547 search results - page 162 / 310
» Randomized Variable Elimination
Sort
View
164
Voted
AAAI
2011
14 years 1 months ago
Markov Logic Sets: Towards Lifted Information Retrieval Using PageRank and Label Propagation
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
Marion Neumann, Babak Ahmadi, Kristian Kersting
113
Voted
ICCD
2005
IEEE
159views Hardware» more  ICCD 2005»
15 years 6 months ago
Architectural-Level Fault Tolerant Computation in Nanoelectronic Processors
Nanoelectronic devices are expected to have extremely high and variable fault rates; thus future processor architectures based on these unreliable devices need to be built with fa...
Wenjing Rao, Alex Orailoglu, Ramesh Karri
ICFP
2010
ACM
15 years 2 months ago
Logical types for untyped languages
Programmers reason about their programs using a wide variety of formal and informal methods. Programmers in untyped languages such as Scheme or Erlang are able to use any such met...
Sam Tobin-Hochstadt, Matthias Felleisen
102
Voted
BMCBI
2008
92views more  BMCBI 2008»
15 years 1 months ago
A semiparametric modeling framework for potential biomarker discovery and the development of metabonomic profiles
Background: The discovery of biomarkers is an important step towards the development of criteria for early diagnosis of disease status. Recently electrospray ionization (ESI) and ...
Samiran Ghosh, David F. Grant, Dipak K. Dey, Denni...
85
Voted
SIAMSC
2008
206views more  SIAMSC 2008»
15 years 1 months ago
The Compact Discontinuous Galerkin (CDG) Method for Elliptic Problems
We present a compact discontinuous Galerkin (CDG) method for an elliptic model problem. The problem is first cast as a system of first order equations by introducing the gradient o...
Jaime Peraire, Per-Olof Persson