Items where Subject is "Computer sciences > Artificial intelligence > Machine learning > Automated reasoning"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Jump to: A | M | N | P
Number of items at this level: 5.


Antonucci, Alessandro and De Campos, Cassio Polpo and Huber, David and Zaffalon, Marco (2013) Approximating credal network inferences by linear programming. In: The 12th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 7-10 July 2013, Utrecht University: Utrecht, The Netherlands.


Miluzzo, Emiliano and Papandrea, Michela and Lane, Nicholas and Sarroff, Andy and Giordano Cremonese, Silvia and Campbell, Andrew (2011) Tapping into the Vibe of the city using VibN, a continuous sensing application for smartphones. In: SCI-11 (IEEE Ubicomp 2011), 17-21 Sep 2011, Beijing, China.


Nespoli, Lorenzo and Giusti, Alessandro and Vermes, Nicola and Derboni, Marco and Rizzoli, Andrea Emilio and Gambardella, Luca Maria and Medici, Vasco (2016) Distributed demand side management using electric boilers. Computer Science - Research and Development. pp. 1-13. ISSN 1865-2034


Papandrea, Michela and Giordano Cremonese, Silvia (2012) Enhanced Localization Solution. In: PerMoby (IEEE PerCom 2013), 19 Mar 2012, Lugano, Switzerland.

Papandrea, Michela and Giordano Cremonese, Silvia (2013) Location prediction and mobility modelling for enhanced localization solution. Journal of Ambient Intelligence and Humanized Computing, 5 (3). pp. 279-295. ISSN 1868-5137

This list was generated on Tue Oct 27 04:59:56 2020 CET.