Sciweavers

4343 search results - page 300 / 869
» Replication Techniques for Availability
Sort
View
ICASSP
2011
IEEE
14 years 10 months ago
Separating sources from sequentially acquired mixtures of heart signals
In this paper, we consider the problem of separating a set of independent components when only one movable sensor is available to record the mixtures. We propose to exploit the qu...
Fábio de Lima Hedayioglu, Maria G. Jafari, ...
ICASSP
2011
IEEE
14 years 10 months ago
Sequential Monte Carlo method for parameter estimation in diffusion models of affinity-based biosensors
Estimation of the amounts of target molecules in realtime affinity-based biosensors is studied. The problem is mapped to inferring the parameters of a temporally sampled diffusio...
Manohar Shamaiah, Xiaohu Shen, Haris Vikalo
SPIN
2012
Springer
13 years 9 months ago
SMTInterpol: An Interpolating SMT Solver
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...
Jürgen Christ, Jochen Hoenicke, Alexander Nut...
KDD
2008
ACM
176views Data Mining» more  KDD 2008»
16 years 7 months ago
Febrl -: an open source data cleaning, deduplication and record linkage system with a graphical user interface
Matching records that refer to the same entity across databases is becoming an increasingly important part of many data mining projects, as often data from multiple sources needs ...
Peter Christen
MIS
1999
Springer
84views Multimedia» more  MIS 1999»
15 years 11 months ago
Minimizing Bandwidth Requirements for On-Demand Data Delivery
Recent techniques for multicast or broadcast delivery of streaming media can provide immediate service to each client request yet achieve considerable client stream sharing (i.e.,...
Derek L. Eager, Mary K. Vernon, John Zahorjan