Sciweavers

2957 search results - page 329 / 592
» Processing Self Corrections
Sort
View
ISCC
2007
IEEE
16 years 28 days ago
Gaining Flexibility by Security Protocol Transfer
Even though PDAs in general—but smartcards in particular—can be trusted to keep secrets, because they have meager resources, including them in security protocols is difficult...
Per Harald Myrvang, Tage Stabell-Kulø
SIPS
2007
IEEE
16 years 27 days ago
Design and Analysis of LDPC Decoders for Software Defined Radio
Low Density Parity Check (LDPC) codes are one of the most promising error correction codes that are being adopted by many wireless standards. This paper presents a case study for ...
Sangwon Seo, Trevor N. Mudge, Yuming Zhu, Chaitali...
CAIP
2007
Springer
118views Image Analysis» more  CAIP 2007»
16 years 25 days ago
Surface Reconstruction Using Polarization and Photometric Stereo
This paper presents a novel shape recovery technique that combines photometric stereo with polarization information. First, a set of ambiguous surface normals are estimated from po...
Gary Atkinson, Edwin R. Hancock
FCT
2007
Springer
16 years 24 days ago
A String-Based Model for Simple Gene Assembly
Abstract. The simple intramolecular model for gene assembly in ciliates is particularly interesting because it can predict the correct assembly of all available experimental data, ...
Robert Brijder, Miika Langille, Ion Petre
IFL
2007
Springer
162views Formal Methods» more  IFL 2007»
16 years 24 days ago
Testing Erlang Refactorings with QuickCheck
Abstract. Refactoring is a technique for improving the design of existing programs without changing their behaviour. Wrangler is a tool built at the University of Kent to support E...
Huiqing Li, Simon Thompson