Sciweavers

1055 search results - page 122 / 211
» Learning Video Processing by Example
Sort
View
FASE
2011
Springer
13 years 1 months ago
Automated Learning of Probabilistic Assumptions for Compositional Reasoning
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
Lu Feng, Marta Z. Kwiatkowska, David Parker
WEBNET
1998
13 years 11 months ago
Interactive Music Instruction with Java Objects
: The Java Music Toolkit is a set of Java classes that can display and play musical scores. The classes are used in music courseware in which students hear problem sets and notate ...
Paul E. Dworak
ICIP
2010
IEEE
13 years 8 months ago
Image analysis with regularized Laplacian eigenmaps
Many classes of image data span a low dimensional nonlinear space embedded in the natural high dimensional image space. We adopt and generalize a recently proposed dimensionality ...
Frank Tompkins, Patrick J. Wolfe
ICASSP
2010
IEEE
13 years 7 months ago
A supervisory approach to semi-supervised clustering
We propose a new approach to semi-supervised clustering that utilizes boosting to simultaneously learn both a similarity measure and a clustering of the data from given instancele...
Bryan Conroy, Yongxin Taylor Xi, Peter J. Ramadge
IROS
2009
IEEE
198views Robotics» more  IROS 2009»
14 years 4 months ago
Scalable learning for object detection with GPU hardware
Abstract— We consider the problem of robotic object detection of such objects as mugs, cups, and staplers in indoor environments. While object detection has made significant pro...
Adam Coates, Paul Baumstarck, Quoc V. Le, Andrew Y...