12774 search results - page 2409 / 2555 » A Framework for Proof Systems |
223
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—There is a growing interest in methods for analyzing data describing networks of all types, including information, biological, physical, and social networks. Typically the data ...
188
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
Abstract—Computer systems are increasingly driven by workloads that reflect large-scale social behavior, such as rapid changes in the popularity of media items like videos. Capa...
196
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Top-k query has long been an important topic in many fields of computer science. Efficient implementation of the top-k queries is the key for information searching. With the n...
200
click to vote
INFOCOM
2011
IEEE
14 years 10 months ago
2011
IEEE
—Epidemic models based on nonlinear differential equations have been extensively applied in a variety of systems as diverse as infectious outbreaks, marketing, diffusion of belie...
222
click to vote
JCDL
2011
ACM
14 years 9 months ago
2011
ACM
Disk images (bitstreams extracted from physical media) can play an essential role in the acquisition and management of digital collections by serving as containers that support da...