Sciweavers

11212 search results - page 1830 / 2243
» Semi-persistent Data Structures
Sort
View
ASWEC
2006
IEEE
16 years 12 days ago
Formally Analysing a Security Protocol for Replay Attacks
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
Benjamin W. Long, Colin J. Fidge
CRV
2006
IEEE
223views Robotics» more  CRV 2006»
16 years 12 days ago
Disparity Map Estimation Using A Total Variation Bound
This paper describes a new variational method for estimating disparity from stereo images. The stereo matching problem is formulated as a convex programming problem in which an ob...
Wided Miled, Jean-Christophe Pesquet
DDECS
2006
IEEE
88views Hardware» more  DDECS 2006»
16 years 12 days ago
Minimization of Large State Spaces using Symbolic Branching Bisimulation
Abstract: Bisimulations in general are a powerful concept to minimize large finite state systems regarding some well-defined observational behavior. In contrast to strong bisimul...
Ralf Wimmer, Marc Herbstritt, Bernd Becker
160
Voted
FOCS
2006
IEEE
16 years 11 days ago
On the Optimality of the Dimensionality Reduction Method
We investigate the optimality of (1+ )-approximation algorithms obtained via the dimensionality reduction method. We show that: • Any data structure for the (1 + )-approximate n...
Alexandr Andoni, Piotr Indyk, Mihai Patrascu
164
Voted
ICMCS
2006
IEEE
98views Multimedia» more  ICMCS 2006»
16 years 11 days ago
A Two-Layer Graphical Model for Combined Video Shot and Scene Boundary Detection
In this work we present a novel two-layer hybrid Graphical model for combined shot and scene boundary detection in videos. In the first layer of the model, low-level features are...
Marc Al-Hames, Stefan Zettl, Frank Wallhoff, Steph...
« Prev « First page 1830 / 2243 Last » Next »