11740 search results - page 2337 / 2348 » More Problems in Rewriting |
112
click to vote
POPL
2011
ACM
14 years 14 days 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...
138
click to vote
PROCEDIA
2011
14 years 14 days ago
2011
The assessment of chemical similarity between molecules is a basic operation in chemoinformatics, a computational area concerning with the manipulation of chemical structural info...
107
click to vote
SIGMETRICS
2011
ACM
14 years 13 days ago
2011
ACM
The massive data streams observed in network monitoring, data processing and scientific studies are typically too large to store. For many applications over such data, we must ob...
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
Bag-of-words (BoW) methods are a popular class of object recognition methods that use image features (e.g., SIFT) to form visual dictionaries and subsequent histogram vectors to r...
ICCV
2011
IEEE
13 years 9 months ago
2011
IEEE
Low-Rank Representation (LRR) [16, 17] is an effective method for exploring the multiple subspace structures of data. Usually, the observed data matrix itself is chosen as the dic...