Sciweavers

828 search results - page 119 / 166
» Predictability by construction
Sort
View
ICFP
2006
ACM
15 years 11 months ago
A pattern for almost compositional functions
This paper introduces a pattern for almost compositional functions over recursive data types, and over families of mutually recursive data types. Here "almost compositional&q...
Aarne Ranta, Björn Bringert
RECOMB
2009
Springer
15 years 6 months ago
Yeast Ancestral Genome Reconstructions: The Possibilities of Computational Methods
In 2006, a debate has risen on the question of the efficiency of bioinformatics methods to reconstruct mammalian ancestral genomes. Three years later, Gordon et al. (PLoS Genetics,...
Eric Tannier
IAT
2009
IEEE
15 years 6 months ago
Social Trust-Aware Recommendation System: A T-Index Approach
Collaborative Filtering based on similarity suffers from a variety of problems such as sparsity and scalability. In this paper, we propose an ontological model of trust between us...
Alireza Zarghami, Soude Fazeli, Nima Dokoohaki, Mi...
CRYPTO
2009
Springer
150views Cryptology» more  CRYPTO 2009»
15 years 6 months ago
Short and Stateless Signatures from the RSA Assumption
We present the first signature scheme which is “short”, stateless and secure under the RSA assumption in the standard model. Prior short, standard model signatures in the RSA...
Susan Hohenberger, Brent Waters
ICC
2008
IEEE
127views Communications» more  ICC 2008»
15 years 6 months ago
MIMO Optical Wireless Channels Using Halftoning
— Two-dimensional (2D) optical intensity channels exist in a variety of applications including holographic storage, page-oriented memories, optical interconnects, 2D barcodes, as...
Mohamed D. A. Mohamed, Awad Dabbo, Steve Hranilovi...