Sciweavers

7924 search results - page 357 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
ASIACRYPT
2008
Springer
15 years 9 months ago
Limits of Constructive Security Proofs
The collision-resistance of hash functions is an important foundation of many cryptographic protocols. Formally, collision-resistance can only be expected if the hash function in f...
Michael Backes, Dominique Unruh
JAIR
2012
254views Hardware» more  JAIR 2012»
13 years 10 months ago
Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice
To achieve scalability of query answering, the developers of Semantic Web applications are often forced to use incomplete OWL 2 reasoners, which fail to derive all answers for at ...
Bernardo Cuenca Grau, Boris Motik, Giorgos Stoilos...
IJHPCA
2008
88views more  IJHPCA 2008»
15 years 7 months ago
Extending Grid-Based Workflow Tools With Patterns/Operators
Many Grid applications involve combining computational and data access components into complex workflows. A distinction is generally made between mechanisms to compose components ...
Maria Cecilia Gomes, Omer F. Rana, José C. ...
ICRA
2010
IEEE
222views Robotics» more  ICRA 2010»
15 years 6 months ago
Pose estimation in heavy clutter using a multi-flash camera
We propose a novel solution to object detection, localization and pose estimation with applications in robot vision. The proposed method is especially applicable when the objects ...
Ming-Yu Liu, Oncel Tuzel, Ashok Veeraraghavan, Ram...
ICCS
2004
Springer
16 years 28 days ago
Design of Departmental Metacomputing ML
Abstract. Bulk Synchronous Parallel ML or BSML is a functional dataparallel language for programming bulk synchronous parallel (BSP) algorithms. The execution time can be estimated...
Frédéric Gava