2009 search results - page 397 / 402 » Dense Interest Points |
SIGSOFT
2010
ACM
13 years 4 months ago
2010
ACM
Delivering increasingly complex software-reliant systems demands better ways to manage the long-term effects of shortterm expedients. The technical debt metaphor is gaining signif...
SISAP
2010
IEEE
13 years 4 months ago
2010
IEEE
In this paper, we propose a novel image classification approach, derived from the kNN classification strategy, that is particularly suited to be used when classifying images descr...
DLT
2009
13 years 4 months ago
2009
Abstract. Temporal logics are a well investigated formalism for the specification and verification of reactive systems. Using formal verification techniques, we can ensure the corr...
DRR
2009
13 years 4 months ago
2009
Biomedical images are invaluable in medical education and establishing clinical diagnosis. Clinical decision support (CDS) can be improved by combining biomedical text with automa...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We consider the discrepancy problem of coloring n intervals with k colors such that at each point on the line, the maximal difference between the number of intervals of any two co...