Automatic Debugging of Concurrent Programs through Active Sampling of Low Dimensional Random Projections.
Elad Yom-TovRachel TzorefShmuel UrShlomo HooryPublished in: ASE (2008)
Keyphrases
- random projections
- low dimensional
- active sampling
- concurrent programs
- dimensionality reduction
- high dimensional
- dimension reduction
- principal component analysis
- high dimensional data
- selective sampling
- data points
- active learning
- feature selection
- random sampling
- sparse representation
- process algebra
- formal specification
- feature space
- image processing
- linear discriminant analysis
- learning to rank
- image reconstruction
- unsupervised learning
- nearest neighbor
- concurrent programming