1746 search results - page 270 / 350 » Recent Developments in Algorithmic Teaching |
135
click to vote
ICCV
2009
IEEE
15 years 4 days ago
2009
IEEE
The varying object appearance and unlabeled data from new frames are always the challenging problem in object tracking. Recently machine learning methods are widely applied to tra...
153
click to vote
ICST
2009
IEEE
15 years 4 days ago
2009
IEEE
Bounded model checking--as well as symbolic equivalence checking--are highly successful techniques in the hardware domain. Recently, bit-vector bounded model checkers like CBMC ha...
148
click to vote
ICST
2009
IEEE
15 years 4 days ago
2009
IEEE
This paper studies the problem of model-based testing of real-time systems that are only partially observable. We model the System Under Test (SUT) using Timed Game Automata (TGA)...
150
Voted
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
Automatic face photo-sketch recognition has important applications to law enforcement. Recent research has focused on transforming photos and sketches into the same modality for m...
131
click to vote
CVPR
2011
IEEE
14 years 10 months ago
2011
IEEE
We develop a dictionary learning method which is (i) online, (ii) enables overlapping group structures with (iii) non-convex sparsity-inducing regularization and (iv) handles the ...