Sciweavers

822 search results - page 92 / 165
» Descendants in Increasing Trees
Sort
View
MSS
2007
IEEE
129views Hardware» more  MSS 2007»
15 years 4 months ago
Cryptographic Security for a High-Performance Distributed File System
Storage systems are increasingly subject to attacks. Cryptographic file systems mitigate the danger of exposing data by using encryption and integrity protection methods and guar...
Roman Pletka, Christian Cachin
ATVA
2007
Springer
152views Hardware» more  ATVA 2007»
15 years 4 months ago
Bounded Synthesis
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
Sven Schewe, Bernd Finkbeiner
PSIVT
2007
Springer
354views Multimedia» more  PSIVT 2007»
15 years 4 months ago
Real-Time Hand Gesture Detection and Recognition Using Boosted Classifiers and Active Learning
In this article a robust and real-time hand gesture detection and recognition system for dynamic environments is proposed. The system is based on the use of boosted classifiers for...
Hardy Francke, Javier Ruiz-del-Solar, Rodrigo Vers...
ICPR
2006
IEEE
15 years 3 months ago
Transformation Invariance in Hand Shape Recognition
In hand shape recognition, transformation invariance is key for successful recognition. We propose a system that is invariant to small scale, translation and shape variations. Thi...
Thomas Coogan, Alistair Sutherland
ICPR
2010
IEEE
15 years 3 months ago
Constrained Energy Minimization for Matching-Based Image Recognition
We propose to use energy minimization in MRFs for matching-based image recognition tasks. To this end, the Tree-Reweighted Message Passing algorithm is modified by geometric cons...
Tobias Gass, Philippe Dreuw, Hermann Ney