923 search results - page 170 / 185 » Proving the value of formal methods |
108
click to vote
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
The realization of a control unit can be done using a complex circuitry or microprogramming. The latter may be considered as an alternative method of implementation of machine ins...
115
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Identifying the active site of an enzyme is a crucial step in functional studies. While protein sequences and structures can be experimentally characterized, determini...
114
click to vote
CGF
2008
15 years 2 months ago
2008
Simulating the in-water ocean light field is a daunting task. Ocean waters are one of the richest participating media, where light interacts not only with water molecules, but wit...
103
Voted
CORR
2008
Springer
15 years 1 months ago
2008
Springer
In multi-input multi-output (MIMO) detection, semidefinite relaxation (SDR) has been shown to be an efficient high-performance approach. For BPSK and QPSK, it has been found that S...
100
Voted
BMCBI
2007
15 years 1 months ago
2007
Background: The number of algorithms available to predict ligand-protein interactions is large and ever-increasing. The number of test cases used to validate these methods is usua...