Sciweavers

647 search results - page 22 / 130
» Collage, composites, construction
Sort
View
PKC
2010
Springer
177views Cryptology» more  PKC 2010»
15 years 1 months ago
More Constructions of Lossy and Correlation-Secure Trapdoor Functions
We propose new and improved instantiations of lossy trapdoor functions (Peikert and Waters, STOC ’08), and correlation-secure trapdoor functions (Rosen and Segev, TCC ’09). Ou...
David Mandell Freeman, Oded Goldreich, Eike Kiltz,...
FORTE
2009
14 years 7 months ago
Using First-Order Logic to Reason about Submodule Construction
We consider the following problem: For a system consisting of two components, the behavior of one component is known as well as the desired global behavior. What should be the beha...
Gregor von Bochmann
73
Voted
3DPVT
2006
IEEE
210views Visualization» more  3DPVT 2006»
15 years 3 months ago
Multiview 3D Tracking with an Incrementally Constructed 3D Model
We propose a multiview tracking method for rigid objects. Assuming that a part of the object is visible in at least two cameras, a partial 3D model is reconstructed in terms of a ...
Karel Zimmermann, Tomás Svoboda, Jiri Matas
ACSD
2004
IEEE
125views Hardware» more  ACSD 2004»
15 years 1 months ago
Comparison of Methods for Supervisory Control and Submodule Construction
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
Gregor von Bochmann, Bassel Daou
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
14 years 11 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre