Sciweavers

1507 search results - page 38 / 302
» Summary
Sort
View
KBSE
2009
IEEE
14 years 4 months ago
Inferring Method Effect Summaries for Nested Heap Regions
Effect systems are important for reasoning about the side effects of a program. Although effect systems have been around for decades, they have not been widely adopted in practice...
Mohsen Vakilian, Danny Dig, Robert L. Bocchino Jr....
ACNS
2009
Springer
168views Cryptology» more  ACNS 2009»
14 years 4 months ago
How to Extract and Expand Randomness: A Summary and Explanation of Existing Results
Abstract. We examine the use of randomness extraction and expansion in key agreement (KA) protocols to generate uniformly random keys in the standard model. Although existing works...
Yvonne Cliff, Colin Boyd, Juan Manuel Gonzá...
MM
2009
ACM
197views Multimedia» more  MM 2009»
14 years 4 months ago
Visual summaries of popular landmarks from community photo collections
We present a novel data-driven algorithm that leverages online image repositories such as Flickr for automatically generating tourist maps. Our hypothesis is that, given a large e...
Wei-Chao Chen, Agathe Battestini, Natasha Gelfand,...
DEEC
2007
IEEE
14 years 4 months ago
Data engineering issues in e-commerce and services: DEECS 2007 workshop summary
In this paper, we summarize the presentations and discussions of the 3rd International Workshop on Data Engineering Issues in ECommerce and Services (DEECS 2007), which was held i...
Martin Hepp, Mehmet Sayal, Sang-goo Lee, Juhnyoung...
AIME
2007
Springer
14 years 4 months ago
Automatic Generation of Textual Summaries from Neonatal Intensive Care Data
François Portet, Ehud Reiter, Jim Hunter, S...