Sciweavers

2610 search results - page 140 / 522
» codes 2007
Sort
View
BMCBI
2007
124views more  BMCBI 2007»
15 years 3 months ago
Protein structural similarity search by Ramachandran codes
Background: Protein structural data has increased exponentially, such that fast and accurate tools are necessary to access structure similarity search. To improve the search speed...
Wei-Cheng Lo, Po-Jung Huang, Chih-Hung Chang, Ping...
ALIFE
2005
15 years 3 months ago
Material Representations: From the Genetic Code to the Evolution of Cellular Automata
We present a new definition of the concept of representation for cognitive science that is based on a study of the origin of structures that are used to store memory in evolving sy...
Luis Mateus Rocha, Wim Hordijk
129
Voted
TACAS
2007
Springer
105views Algorithms» more  TACAS 2007»
15 years 10 months ago
Hoare Logic for Realistically Modelled Machine Code
This paper presents a mechanised Hoare-style programming logic framework for assembly level programs. The framework has been designed to fit on top of operational semantics of rea...
Magnus O. Myreen, Michael J. C. Gordon
PR
2008
140views more  PR 2008»
15 years 3 months ago
An incremental node embedding technique for error correcting output codes
The error correcting output codes (ECOC) technique is a useful way to extend any binary classifier to the multiclass case. The design of an ECOC matrix usually considers an a prio...
Oriol Pujol, Sergio Escalera, Petia Radeva
125
Voted
ICC
2007
IEEE
15 years 10 months ago
A Novel Simulation Model for Coded OFDM in Doppler Scenarios: DVB-T Versus DAB
—This paper develops a novel simulation model to characterize the bit error rate (BER) performance of coded orthogonal frequency-division modulation (OFDM) systems affected by Do...
Mario Poggioni, Luca Rugini, Paolo Banelli