3362 search results - page 310 / 673 » A definition of subjective possibility |
148
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
180
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Digital maps are widely used and appear on all types of platforms for integrating content. Users can change display region and scale by panning, zooming in, and zooming out on a d...
180
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
Music theme annotations would be really beneficial for supporting retrieval, but are often neglected by users while annotating. Thus, in order to support users in tagging and to f...
148
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
A soft error redirection is a URL redirection to a page that returns the HTTP status code 200 (OK) but has actually no relevant content to the client request. Since such redirecti...
138
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
We show how a number of novel email search features can be implemented without any kind of natural language processing (NLP) or advanced data mining. Our approach inspects the ema...