835 search results - page 67 / 167 » An algorithmic approach to event summarization |
174
click to vote
TACAS
2007
Springer
16 years 7 days ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
181
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
Duplicate URLs have brought serious troubles to the whole pipeline of a search engine, from crawling, indexing, to result serving. URL normalization is to transform duplicate URLs...
166
click to vote
AAAI
2010
15 years 7 months ago
2010
Decentralized agent groups typically require complex mechanisms to accomplish coordinated tasks. In contrast, biological systems can achieve intelligent group behaviors with each ...
155
click to vote
DATAMINE
2006
15 years 6 months ago
2006
To efficiently find global patterns from a multi-database, information in each local database must first be mined and summarized at the local level. Then only the summarized infor...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
The two major approaches to sparse recovery are L1-minimization and greedy methods. Recently, Needell and Vershynin developed Regularized Orthogonal Matching Pursuit (ROMP) that ha...