Sciweavers

13090 search results - page 307 / 2618
» Usable 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