1![Active Classification: Theory and Application to Underwater Inspection Geoffrey A. Hollinger, Urbashi Mitra, and Gaurav S. Sukhatme Abstract We discuss the problem in which an autonomous vehicle must classify an object b Active Classification: Theory and Application to Underwater Inspection Geoffrey A. Hollinger, Urbashi Mitra, and Gaurav S. Sukhatme Abstract We discuss the problem in which an autonomous vehicle must classify an object b](https://www.pdfsearch.io/img/70ac7a1bb51b9d70bff1cb1eb4b8f0e8.jpg) | Add to Reading ListSource URL: robotics.usc.eduLanguage: English - Date: 2012-06-07 04:33:38
|
---|
2![DRAFT: To appear in Theory of Computing Systems NovemberDistributed Object Location in a Dynamic Network ∗ DRAFT: To appear in Theory of Computing Systems NovemberDistributed Object Location in a Dynamic Network ∗](https://www.pdfsearch.io/img/0f73af9730fdfe1ad973f3cf79f52dca.jpg) | Add to Reading ListSource URL: oceanstore.cs.berkeley.eduLanguage: English - Date: 2003-09-02 14:42:58
|
---|
3![The German UMTS Design: Insights From Multi-Object Auction Theory Christian Ewerhart and Benny Moldovanu¤ Abstract The German UMTS Design: Insights From Multi-Object Auction Theory Christian Ewerhart and Benny Moldovanu¤ Abstract](https://www.pdfsearch.io/img/aa037c993d7c5b1323b178e5b1d95648.jpg) | Add to Reading ListSource URL: www.econ2.uni-bonn.de- Date: 2014-03-26 06:49:17
|
---|
4![Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1 Math. Z. 239, 803–Digital Object Identifier (DOIs002090100347 A uniqueness theorem for stable homotopy theory Stefan Schwede1 , Brooke Shipley2 1](https://www.pdfsearch.io/img/0ff73b0c7992fafc8aac3d8bd441d652.jpg) | Add to Reading ListSource URL: www.math.uni-bonn.de- Date: 2003-11-07 09:15:55
|
---|
5![SUNlite Shedding some light on UFOlogy and UFOs Volume 7 Number 2 SUNlite Shedding some light on UFOlogy and UFOs Volume 7 Number 2](https://www.pdfsearch.io/img/4c78d1aa2b4b1acde406fe8ab21f0bdd.jpg) | Add to Reading ListSource URL: www.astronomyufo.comLanguage: English - Date: 2015-03-03 18:58:33
|
---|
6![An International Agenda for supervision research: where shall we start? OctoberCopenhagen Professor Sue Wheeler, University of Leicester An International Agenda for supervision research: where shall we start? OctoberCopenhagen Professor Sue Wheeler, University of Leicester](https://www.pdfsearch.io/img/8f726d85fa6ac6be08218f244e1adb95.jpg) | Add to Reading ListSource URL: supervision.psy.ku.dkLanguage: English - Date: 2011-10-17 19:33:32
|
---|
7![Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington](https://www.pdfsearch.io/img/a51f9a02f056f1865d482ba28663eb18.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2015-09-05 00:16:54
|
---|
8![Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009
Diss. ETH N0 18689 Proofs and Proof Transformations for Object-Oriented Programs Martin Nordio 2009
Diss. ETH N0 18689](https://www.pdfsearch.io/img/aa567adbaebfab8600d51a71091857e9.jpg) | Add to Reading ListSource URL: se.inf.ethz.chLanguage: English - Date: 2012-02-13 10:20:07
|
---|
9![On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg On the Revival of Dynamic Languages Oscar Nierstrasz, Alexandre Bergel, Marcus Denker, St´ephane Ducasse, Markus G¨ alli, and Roel Wuyts Software Composition Group, University of Bern www.iam.unibe.ch/∼scg](https://www.pdfsearch.io/img/f81637551b7e37fdd8975cb703433fe5.jpg) | Add to Reading ListSource URL: rmod.inria.frLanguage: English - Date: 2015-11-03 10:16:25
|
---|
10![aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems](https://www.pdfsearch.io/img/b151b374ea3970bc02c14de4506e3dc6.jpg) | Add to Reading ListSource URL: d3s.mff.cuni.czLanguage: English - Date: 2010-08-21 17:29:07
|
---|