1507 search results - page 111 / 302 » Summary |
136
click to vote
CGA
2005
15 years 5 months ago
2005
In today's fast-paced world, it is increasingly difficult to understand and act promptly upon the content of the many information streams available. Temporal pooling addresse...
120
click to vote
CCR
2004
15 years 5 months ago
2004
Providing scalable distributed Web-based eventing services has been an important research topic. It is desirable to have an effective mechanism for the servers to summarize their f...
166
click to vote
SIGIR
2002
ACM
15 years 4 months ago
2002
ACM
A novel method for simultaneous keyphrase extraction and generic text summarization is proposed by modeling text documents as weighted undirected and weighted bipartite graphs. Sp...
176
click to vote
TCS
2002
15 years 4 months ago
2002
The Common Algebraic Specification Language Casl is an expressive language for the formal specification of functional requirements and modular design of software. It has been desi...
141
click to vote
SIGSOFT
2010
ACM
15 years 3 months ago
2010
ACM
Concurrent program verification is challenging because it involves exploring a large number of possible thread interleavings together with complex sequential reasoning. As a resul...