8828 search results - page 1479 / 1766 » Formal methods in practice |
197
click to vote
CIBCB
2006
IEEE
16 years 25 days ago
2006
IEEE
— Computational prediction of transcription factor’s binding sites and regulatory target genes has great value to the biological studies of cellular process. Existing practices...
219
click to vote
DASFAA
2006
IEEE
16 years 25 days ago
2006
IEEE
Efficient full-text keyword search remains a challenging problem in P2P systems. Most of the traditional keyword search systems on DHT overlay networks perform the join operation ...
142
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
— In upstream vectored DSL transmission, the far-end crosstalk (FEXT) can be completely cancelled by using zeroforcing generalized decision-feedback equalizers (ZF-GDFE). When th...
160
click to vote
GLOBECOM
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— ABBA codes are an important class of quasiorthogonal space-time block codes proposed by Tirkkonen et al.. Recently, they have become more attractive for practical appli...
162
click to vote
ICARCV
2006
IEEE
16 years 24 days ago
2006
IEEE
— Snake robots may one day play a crucial role in search and rescue operations and fire-fighting where it may either be too narrow or to dangerous for personnel to operate. Pro...