279 search results - page 24 / 56 » Type Reconstruction for SCI |
ACNS
2006
Springer
14 years 1 months ago
2006
Springer
The visual secret sharing (VSS for short) scheme is a secret image sharing scheme. A secret image is visually revealed from overlapping shadow images without additional computation...
DAGSTUHL
2006
13 years 9 months ago
2006
In software engineering contexts software may be compared for similarity in order to detect duplicate code that indicates poor design, and to reconstruct evolution history. Malicio...
ICFP
2005
ACM
14 years 7 months ago
2005
ACM
We explore partial type-inference for System F based on type-containment. We consider both cases of a purely functional semantics and a call-by-value stateful semantics. To enable...
CRV
2007
IEEE
14 years 2 months ago
2007
IEEE
The success of NASA’s Mars Exploration Rovers has demonstrated the important benefits that mobility adds to planetary exploration. Very soon, mission requirements will impose t...
FCCM
2007
IEEE
14 years 1 months ago
2007
IEEE
In this paper we present our work toward FPGA acceleration of phylogenetic reconstruction, a type of analysis that is commonly performed in the fields of systematic biology and co...