7318 search results - page 1218 / 1464 » Models of real-valued measurability |
163
Voted
PASTE
2005
ACM
16 years 8 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
211
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
In this paper, we describe a new approach for mining concept associations from large text collections. The concepts are short sequences of words that occur frequently together acr...
166
click to vote
SIGIR
2005
ACM
16 years 8 days ago
2005
ACM
We consider classification of email messages as to whether or not they contain certain “email acts”, such as a request or a commitment. We show that exploiting the sequential ...
200
click to vote
SIGIR
2005
ACM
16 years 8 days ago
2005
ACM
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
190
click to vote
ADHOCNOW
2005
Springer
16 years 8 days ago
2005
Springer
Mobile ad hoc networks (MANET) are dynamic networks formed on-the-fly as mobile nodes move in and out of each others’ transmission ranges. In general, the mobile ad hoc networki...