Sciweavers

3038 search results - page 132 / 608
» High-Speed Function Approximation
Sort
View
COMPGEOM
2011
ACM
14 years 8 months ago
Reeb graphs: approximation and persistence
Given a continuous function f : X → IR on a topological space X, its level set f−1 (a) changes continuously as the real value a changes. Consequently, the connected components...
Tamal K. Dey, Yusu Wang
ICPR
2006
IEEE
16 years 6 months ago
Measurement Function Design for Visual Tracking Applications
Extracting human postural information from video sequences has proved a difficult research question. The most successful approaches to date have been based on particle filtering, ...
Andrew W. B. Smith, Brian C. Lovell
ISMIR
2005
Springer
145views Music» more  ISMIR 2005»
15 years 10 months ago
Classification of Musical Metre with Autocorrelation and Discriminant Functions
The performance of autocorrelation-based metre induction was tested with two large collections of folk melodies, consisting of approximately 13,000 melodies in MIDI file format, f...
Petri Toiviainen, Tuomas Eerola
AAAI
2008
15 years 7 months ago
Strategyproof Classification under Constant Hypotheses: A Tale of Two Functions
We consider the following setting: a decision maker must make a decision based on reported data points with binary labels. Subsets of data points are controlled by different selfi...
Reshef Meir, Ariel D. Procaccia, Jeffrey S. Rosens...
126
Voted
FMCAD
2006
Springer
15 years 8 months ago
Over-Approximating Boolean Programs with Unbounded Thread Creation
Abstract-- This paper describes a symbolic algorithm for overapproximating reachability in Boolean programs with unbounded thread creation. The fix-point is detected by projecting ...
Byron Cook, Daniel Kroening, Natasha Sharygina