4313 search results - page 709 / 863 » Using time travel to diagnose computer problems |
156
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
143
click to vote
ACL
2009
15 years 2 months ago
2009
Stochastic gradient descent (SGD) uses approximate gradients estimated from subsets of the training data and updates the parameters in an online fashion. This learning framework i...
132
Voted
FOCS
2009
IEEE
15 years 2 months ago
2009
IEEE
We give a new model of learning motivated by smoothed analysis (Spielman and Teng, 2001). In this model, we analyze two new algorithms, for PAC-learning DNFs and agnostically learn...
118
Voted
ICCV
2009
IEEE
15 years 2 months ago
2009
IEEE
A good training dataset, representative of the test images expected in a given application, is critical for ensuring good performance of a visual categorization system. Obtaining ...
155
Voted
CVPR
2011
IEEE
15 years 23 days ago
2011
IEEE
We explore a polar representation of optical flow in which each element of the brightness motion field is represented by its magnitude and orientation instead of its Cartesian p...