38 search results - page 8 / 8 » A kernel approach to addressing term mismatch |
SIGCSE
2010
ACM
13 years 11 months ago
2010
ACM
Students learn more through hands-on project experience for computer science courses such as operating systems, but providing the infrastructure support for a large class to learn...
CIVR
2009
Springer
13 years 11 months ago
2009
Springer
The Bag of Visual Words (BoV) paradigm has successfully been applied to image content analysis tasks such as image classification and object detection. The basic BoV approach ove...
POPL
2011
ACM
12 years 7 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...