Sciweavers

882 search results - page 3 / 177
» A Sampling Method Focusing on Practicality
Sort
View
IANDC
2006
117views more  IANDC 2006»
13 years 5 months ago
Statistical probabilistic model checking with a focus on time-bounded properties
Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...
Håkan L. S. Younes, Reid G. Simmons
ICPR
2008
IEEE
14 years 6 months ago
Feature selection focused within error clusters
We propose a feature selection method that constructs each new feature by analysis of tight error clusters. This is a greedy, time-efficient forward selection algorithm that itera...
Henry S. Baird, Sui-Yu Wang
SSDBM
2008
IEEE
131views Database» more  SSDBM 2008»
13 years 11 months ago
Linked Bernoulli Synopses: Sampling along Foreign Keys
Random sampling is a popular technique for providing fast approximate query answers, especially in data warehouse environments. Compared to other types of synopses, random sampling...
Rainer Gemulla, Philipp Rösch, Wolfgang Lehne...
CORR
2010
Springer
164views Education» more  CORR 2010»
13 years 5 months ago
Sub-Nyquist Sampling of Short Pulses: Part I
We develop sub-Nyquist sampling systems for analog signals comprised of several, possibly overlapping, finite duration pulses with unknown shapes and time positions. Efficient sam...
Ewa Matusiak, Yonina C. Eldar
CVPR
1997
IEEE
14 years 7 months ago
Multi-Image Focus of Attention for Rapid Site Model Construction
A multi-image focus of attention mechanism has been developed that can quickly distinguish raised objects like buildings from structured background clutter typical to many aerial ...
Robert T. Collins