Sciweavers

12993 search results - page 303 / 2599
» Artificial Intelligence in China
Sort
View
KI
2010
Springer
15 years 1 months ago
Practical Aspects of Automated Deduction for Program Verification
Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, ...
186
Voted
TSP
2010
15 years 1 months ago
Polarimetric MIMO radar with distributed antennas for target detection
Abstract--Multiple-input
Sandeep Gogineni, Arye Nehorai