Sciweavers

5990 search results - page 716 / 1198
» The Sampling Analysis Pattern
Sort
View
IANDC
2006
117views more  IANDC 2006»
15 years 3 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
INFORMATICALT
2008
91views more  INFORMATICALT 2008»
15 years 3 months ago
Lloyd-Max's Algorithm Implementation in Speech Coding Algorithm Based on Forward Adaptive Technique
In this paper a detail analysis of speech coding algorithm based on forward adaptive technique is carried out. We consider an algorithm that works on frame-by-frame basis, where a ...
Jelena Nikolic, Zoran Peric
PAMI
2006
81views more  PAMI 2006»
15 years 3 months ago
Robust and Accurate Vectorization of Line Drawings
This paper presents a method for vectorizing the graphical parts of paper-based line drawings. The method consists of separating the input binary image into layers of homogeneous t...
Xavier Hilaire, Karl Tombre
TSP
2008
94views more  TSP 2008»
15 years 3 months ago
Optimal Particle Filters for Tracking a Time-Varying Harmonic or Chirp Signal
We consider the problem of tracking the time-varying (TV) parameters of a harmonic or chirp signal using particle filtering (PF) tools. Similar to previous PF approaches to TV spec...
E. E. Tsakonas, Nicholas D. Sidiropoulos, Ananthra...
DATAMINE
2002
83views more  DATAMINE 2002»
15 years 3 months ago
Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate Recognition
Reflectance spectroscopy is a standard tool for studying the mineral composition of rock and soil samples and for remote sensing of terrestrial and extraterrestrial surfaces. We de...
Joseph Ramsey, Paul Gazis, Ted Roush, Peter Spirte...