Sciweavers

12981 search results - page 298 / 2597
» Artificial Intelligence
Sort
View
BIOINFORMATICS
2011
15 years 1 months ago
RNA-RNA interaction prediction based on multiple sequence alignments
Andrew X. Li, Manja Marz, Jing Qin, Christian M. R...
KI
2010
Springer
15 years 1 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
TSP
2010
15 years 1 months ago
Polarimetric MIMO radar with distributed antennas for target detection
Abstract--Multiple-input
Sandeep Gogineni, Arye Nehorai