94 search results - page 14 / 19 » Faster index for property matching |
ASE
2010
14 years 9 months ago
2010
Recent developments in runtime verification and monitoring show that parametric regular and temporal logic specifications can be efficiently monitored against large programs. Howev...
105
click to vote
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
An object seen from different viewpoints results in differently deformed images. Affine-invariant shape classification must classify correctly the object, disregarding its viewpoi...
MM
2003
ACM
15 years 2 months ago
2003
ACM
Music thumbnailing (or music summarization) aims at finding the most representative part of a song, which can be used for web browsing, web searching and music recommendation. Thr...
169
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Nearest neighbor (NN) search in high dimensional space is an important problem in many applications. Ideally, a practical solution (i) should be implementable in a relational data...
SPIN
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...