Sciweavers

4235 search results - page 747 / 847
» Processes in Space
Sort
View
CSFW
2011
IEEE
14 years 6 months ago
Formal Analysis of Protocols Based on TPM State Registers
—We present a Horn-clause-based framework for analysing security protocols that use platform configuration registers (PCRs), which are registers for maintaining state inside the...
Stéphanie Delaune, Steve Kremer, Mark Dermo...

Publication
141views
14 years 4 months ago
Measures of Diversity for Populations and Distances Between Individuals with Highly Reorganizable Genomes
In this paper we address the problem of defining a measure of diversity for a population of individuals whose genome can be subjected to major reorganizations during the evolution...
Claudio Mattiussi, Markus Waibel, Dario Floreano

Publication
189views
14 years 2 months ago
Mitigation of Visibility Loss for Advanced Camera based Driver Assistances
In adverse weather conditions, in particular, in day-light fog, the contrast of images grabbed by in-vehicle cameras in the visible light range is drastically degraded, which makes...
Nicolas Hautière, Jean-Philippe Tarel and Didier...
CVPR
2012
IEEE
13 years 9 months ago
Contextual Boost for Pedestrian Detection
Pedestrian detection from images is an important and yet challenging task. The conventional methods usually identify human figures using image features inside the local regions. In...
Yuanyuan Ding, Jing Xiao
JMLR
2012
13 years 9 months ago
Learning Low-order Models for Enforcing High-order Statistics
Models such as pairwise conditional random fields (CRFs) are extremely popular in computer vision and various other machine learning disciplines. However, they have limited expre...
Patrick Pletscher, Pushmeet Kohli