10715 search results - page 2078 / 2143 » From Tests to Proofs |
ASUNAM
2010
IEEE
13 years 8 months ago
2010
IEEE
—To understand the diffusive spreading of a product in a telecom network, whether the product is a service, handset, or subscription, it can be very useful to study the structure...
MM
2010
ACM
13 years 8 months ago
2010
ACM
In this paper we present TwitterSigns, an approach to display microblogs on public displays. Two different kinds of microblog entries (tweets) are selected for display: Tweets tha...
SIGIR
2010
ACM
13 years 8 months ago
2010
ACM
By analogy with merging documents rankings, the outputs from multiple search results clustering algorithms can be combined into a single output. In this paper we study the feasibi...
SOFTVIS
2010
ACM
13 years 8 months ago
2010
ACM
Understanding the data structures in a program is crucial to understanding how the program works, or why it doesn't work. Inspecting the code that implements the data structu...
CMS
2010
13 years 8 months ago
2010
Abstract. Client-based attacks on internet users with malicious web pages represent a serious and rising threat. Internet Browsers with enabled active content technologies such as ...