Sciweavers

7168 search results - page 67 / 1434
» A Factorization Approach to Grouping
Sort
View
103
Voted
IJCAI
2007
15 years 5 months ago
A Factor Graph Model for Software Bug Finding
Automatic tools for finding software errors require knowledge of the rules a program must obey, or “specifications,” before they can identify bugs. We present a method that ...
Ted Kremenek, Andrew Y. Ng, Dawson R. Engler
138
Voted
ICML
2010
IEEE
15 years 4 months ago
Bayesian Nonparametric Matrix Factorization for Recorded Music
Recent research in machine learning has focused on breaking audio spectrograms into separate sources of sound using latent variable decompositions. These methods require that the ...
Matthew D. Hoffman, David M. Blei, Perry R. Cook
157
Voted
ICASSP
2011
IEEE
14 years 7 months ago
Gain-robust multi-pitch tracking using sparse nonnegative matrix factorization
While nonnegative matrix factorization (NMF) has successfully been applied for gain-robust multi-pitch detection, a method to track pitch values over time was not provided. We emb...
Robert Peharz, Michael Wohlmayr, Franz Pernkopf
119
Voted
ICRA
2007
IEEE
130views Robotics» more  ICRA 2007»
15 years 10 months ago
The Cost of Reality: Effects of Real-World Factors on Multi-Robot Search
— Designing algorithms for multi-robot systems can be a complex and difficult process: the cost of such systems can be very high, collecting experimental data can be timeconsumi...
Jim Pugh, Alcherio Martinoli
123
Voted
ISMVL
2007
IEEE
112views Hardware» more  ISMVL 2007»
15 years 9 months ago
Survey of Stochastic Computation on Factor Graphs
Stochastic computation is a new alternative approach for iterative computation on factor graphs. In this approach, the information is represented by the statistics of the bit stre...
Saeed Sharifi Tehrani, Shie Mannor, Warren J. Gros...