165
click to vote
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of tempora...
146
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
118
Voted
FOSSACS
2007
Springer
15 years 8 months ago
2007
Springer
By adding the complement operator (
115
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
We show that histograms of keypoint descriptor distances can make useful features for visual recognition. Descriptor distances are often exhaustively computed between sets of keyp...
158
click to vote
CVPR
2009
IEEE
15 years 8 months ago
2009
IEEE
The explosion of image data on the Internet has the potential to foster more sophisticated and robust models and algorithms to index, retrieve, organize and interact with images a...