Sciweavers

635 search results - page 63 / 127
» Bridging the Gaps between Cameras
Sort
View
TACAS
2010
Springer
151views Algorithms» more  TACAS 2010»
15 years 4 months ago
A Polymorphic Intermediate Verification Language: Design and Logical Encoding
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
K. Rustan M. Leino, Philipp Rümmer
ICMCS
2009
IEEE
153views Multimedia» more  ICMCS 2009»
15 years 3 months ago
Advertising based on users' photos
In this paper, we tackle the problem of learning a user's interest from his photo collections and suggesting relevant ads. We address two key challenges in this work: 1) unde...
Xin-Jing Wang, Mo Yu, Lei Zhang 0001, Wei-Ying Ma
FLAIRS
2011
14 years 9 months ago
No Peanuts! Affective Cues for the Virtual Bartender
The aim of this paper is threefold: it explores methods for the detection of affective states in text, it presents the usage of such affective cues in a conversational system and ...
Marcin Skowron, Hannes Pirker, Stefan Rank, Georgi...
IACR
2011
166views more  IACR 2011»
14 years 5 months ago
Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 family
We introduce a new concept in splice-and-cut attacks on hash functions, which bridges the gap between preimage attacks and a powerful method of differential cryptanalysis. The ne...
Dmitry Khovratovich, Christian Rechberger, Alexand...
JNSM
2008
130views more  JNSM 2008»
15 years 6 months ago
Declarative Infrastructure Configuration Synthesis and Debugging
There is a large conceptual gap between end-to-end infrastructure requirements and detailed component configuration implementing those requirements. Today, this gap is manually br...
Sanjai Narain, Gary Levin, Sharad Malik, Vikram Ka...