Sciweavers

3328 search results - page 52 / 666
» On Plateaued Functions and Their Constructions
Sort
View
EUROCRYPT
2009
Springer
14 years 9 months ago
Verifiable Random Functions from Identity-Based Key Encapsulation
We propose a methodology to construct verifiable random functions from a class of identity based key encapsulation mechanisms (IB-KEM) that we call VRF suitable. Informally, an IB-...
Michel Abdalla, Dario Catalano, Dario Fiore
CEFP
2009
Springer
13 years 6 months ago
Programming in Manticore, a Heterogenous Parallel Functional Language
The Manticore project is an effort to design and implement a new functional language for parallel programming. Unlike many earlier parallel languages, Manticore is a heterogeneous...
Matthew Fluet, Lars Bergstrom, Nic Ford, Mike Rain...
MICCAI
2008
Springer
14 years 10 months ago
Weights and Topology: A Study of the Effects of Graph Construction on 3D Image Segmentation
Abstract. Graph-based algorithms have become increasingly popular for medical image segmentation. The fundamental process for each of these algorithms is to use the image content t...
Leo Grady, Marie-Pierre Jolly
MDM
2009
Springer
141views Communications» more  MDM 2009»
14 years 3 months ago
Constructing Hierarchical Representations of Indoor Spaces
Indoor spaces pose many challenges for spatial information systems, amongst them appropriate spatial communication. Compared to typical outdoor spaces, indoor spaces are clustered...
Kai-Florian Richter, Stephan Winter, Urs-Jakob R&u...
DSD
2007
IEEE
87views Hardware» more  DSD 2007»
14 years 3 months ago
On the Construction of Small Fully Testable Circuits with Low Depth
During synthesis of circuits for Boolean functions area, delay and testability are optimization goals that often contradict each other. Multi-level circuits are often quite small ...
Görschwin Fey, Anna Bernasconi, Valentina Cir...