71228 search results - page 13948 / 14246 » Algorithms |
199
click to vote
COMPSEC
2010
15 years 6 months ago
2010
Model checking security protocols is based on an intruder model that represents the eavesdropping or interception of the exchanged messages, while at the same time performs attack...
195
click to vote
CGF
2008
15 years 6 months ago
2008
We present a technique for coupling simulated fluid phenomena that interact with real dynamic scenes captured as a binocular video sequence. We first process the binocular video s...
170
click to vote
CGF
2008
15 years 6 months ago
2008
Simulating the in-water ocean light field is a daunting task. Ocean waters are one of the richest participating media, where light interacts not only with water molecules, but wit...
153
click to vote
CONSTRAINTS
2010
15 years 6 months ago
2010
Abstract. We had claimed that arc-consistency is preserved in a constraint reformulation relying on functional dependencies (Theorem 2 of [2]). We show that the statement of this t...
180
click to vote
CGF
2008
15 years 6 months ago
2008
Many casually taken "tourist" photographs comprise of architectural objects like houses, buildings, etc. Reconstructing such 3D scenes captured in a single photograph is...