Sciweavers

242 search results - page 19 / 49
» Auctions with Arbitrary Deals
Sort
View
TCC
2004
Springer
173views Cryptology» more  TCC 2004»
15 years 3 months ago
Soundness of Formal Encryption in the Presence of Active Adversaries
Abstract. We present a general method to prove security properties of cryptographic protocols against active adversaries, when the messages exchanged by the honest parties are arbi...
Daniele Micciancio, Bogdan Warinschi
DEXA
1999
Springer
99views Database» more  DEXA 1999»
15 years 2 months ago
Distributed Global Transaction Support for Workflow Management Applications
Workflow management systems require advanced transaction support to cope with their inherently long-running processes. The recent trend to distribute workflow executions requires ...
Jochem Vonk, Paul W. P. J. Grefen, Erik Boertjes, ...
RT
1998
Springer
15 years 1 months ago
Interactively Modeling with Photogrammetry
We describe an interactive system to reconstruct 3D geometry and extract textures from a set of photographs taken with arbitrary camera parameters. The basic idea is to let the use...
Pierre Poulin, Mathieu Ouimet, Marie-Claude Frasso...
ACSC
2004
IEEE
15 years 1 months ago
Self-Replicating Expressions in the Lambda Calculus
The study of self-replicating structures in Computer Science has been taking place for more than half a century, motivated by the desire to understand the fundamental principles a...
James Larkin, Phil Stocks
91
Voted
DAGM
2006
Springer
15 years 1 months ago
Realtime Depth Estimation and Obstacle Detection from Monocular Video
Abstract. This paper deals with the detection of arbitrary static objects in traffic scenes from monocular video using structure from motion. A camera in a moving vehicle observes ...
Andreas Wedel, Uwe Franke, Jens Klappstein, Thomas...