Vai alla Homepage del Portale
Dipartimento di Informatica - Scienza e Ingegneria

Pubblicazioni

2014 Elimina filtro
Contributo in atti di convegno Elimina filtro

158 pubblicazioni

  • Grassi, Giulio; Pesavento, Davide; Pau, Giovanni; Vuyyuru, Rama; Wakikawa, Ryuji; Zhang, Lixia, VANET via named data networking, in: Proceedings - IEEE INFOCOM, Institute of Electrical and Electronics Engineers Inc., 2014, pp. 410 - 415 (atti di: 2014 IEEE Conference on Computer Communications Workshops, INFOCOM WKSHPS 2014, Toronto, ON, can, 2014) [Contributo in Atti di convegno]

  • SALVAGNINI, PIETRO; PERNICI, FEDERICO; CRISTANI, MARCO; LISANTI, GIUSEPPE; MASI, IACOPO; DEL BIMBO, ALBERTO; MURINO, VITTORIO, Information theoretic sensor management for multi-target tracking with a single pan-tilt-zoom camera, in: IEEE Winter Conference on Applications of Computer Vision, IEEE, 2014, pp. 893 - 900 (atti di: IEEE Winter Conference on Applications of Computer Vision, March 24-26, 2014, Steamboat Springs, CO, USA) [Contributo in Atti di convegno]

  • BARTOLI, FEDERICO; LISANTI, GIUSEPPE; KARAMAN, SVEBOR; BAGDANOV, ANDREW DAVID; DEL BIMBO, ALBERTO, Unsupervised scene adaptation for faster multi-scale pedestrian detection, in: Proc. of International Conference on Pattern Recognition (ICPR), IEEE, 2014, pp. 3534 - 3539 (atti di: International Conference on Pattern Recognition, Stockholm, Sweden, 2014) [Contributo in Atti di convegno]

  • Lisanti, Giuseppe; Masi, Iacopo; Del Bimbo, Alberto, Matching People Across Camera Views Using Kernel Canonical Correlation Analysis, in: Proceedings of the International Conference on Distributed Smart Cameras, ACM, 2014, pp. 79 - 84 (atti di: International Conference on Distributed Smart Cameras, Venezia (Italia), 2014) [Contributo in Atti di convegno]

  • Amadini R.; Stuckey P.J., Sequential Time Splitting and Bounds Communication for a Portfolio of Optimization Solvers, in: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Springer Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2014, 8656, pp. 108 - 124 (atti di: 20th International Conference on the Principles and Practice of Constraint Programming, CP 2014, Lyon, fra, 2014) [Contributo in Atti di convegno]

  • Bujari, A.; Palazzi, C.E., Opportunistic communication for the internet of everything, in: 2014 IEEE 11th Consumer Communications and Networking inproceedings, CCNC 2014, 2014, pp. 502 - 507 (atti di: 2014 IEEE 11th Consumer Communications and Networking Conference (CCNC), Las Vegas, NV, USA, 10-13 Jan. 2014) [Contributo in Atti di convegno]

  • Fionda Valeria; Malizia E, How much navigable is the Web of Linked Data?, in: Proceedings of the ISWC 2014 Posters & Demonstrations Track a track within the 13th International Semantic Web Conference (ISWC 2014), 2014, 1272, pp. 317 - 320 (atti di: ISWC 2014 Posters & Demonstrations Track, Riva del Garda, Italy, 21/10/2014) [Poster]

  • GOTTLOB GEORG; MALIZIA E, Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic, in: Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (CSL-LICS 2014), 2014, pp. 1 - 10 (atti di: CSL-LICS '14, Vienna, Austria, 14/07/2014 - 18/07/2014) [Contributo in Atti di convegno]

  • Nitti M; Girau R; Floris A; Atzori L, On adding the social dimension to the Internet of Vehicles: Friendship and middleware, in: 2014 IEEE INTERNATIONAL BLACK SEA CONFERENCE ON COMMUNICATIONS AND NETWORKING (BLACKSEACOM), 2014, pp. 134 - 138 (atti di: 2014 IEEE International Black Sea Conference on Communications and Networking, BlackSeaCom 2014, Chisinau; Moldova, 27-30 Maggio 2014) [Contributo in Atti di convegno]

  • MISSIROLI, MARCELLO; PIERAZZI, FABIO; COLAJANNI, Michele, Security and privacy of location-based services for in-vehicle device systems, in: Proceedings, USA, Institute of Electrical and Electronics Engineers ( IEEE ), 2014, pp. 841 - 848 (atti di: 2014 International Conference on High Performance Computing & Simulation (HPCS 2014), Bologna, Italia, 21-25 Giugno 2014) [Contributo in Atti di convegno]

  • FERRETTI, LUCA; PIERAZZI, FABIO; COLAJANNI, Michele; MARCHETTI, Mirco; MISSIROLI, MARCELLO, Efficient detection of unauthorized data modification in cloud databases, in: Proceedings of the 2014 International Conference on High Performance Computing & Simulation (HPCS 2014), USA, Institute of Electrical and Electronics Engineers ( IEEE ), 2014, pp. 1 - 6 (atti di: 2014 International Conference on High Performance Computing & Simulation (HPCS 2014), Funchal, Portugal, 23-26 June 2014) [Contributo in Atti di convegno]

  • Patsakis C.; Venanzi R.; Bellavista P.; Solanas A.; Bouroche M., Personalized medical services using smart cities' infrastructures, in: IEEE MeMeA 2014 - IEEE International Symposium on Medical Measurements and Applications, Proceedings, IEEE Computer Society, 2014, pp. 1 - 5 (atti di: 9th IEEE International Symposium on Medical Measurements and Applications, IEEE MeMeA 2014, Lisbon, prt, 2014) [Contributo in Atti di convegno]

  • Vitali F.; Amoroso A.; Roccetti M.; Marfia G., RESTful services for an innovative e-Health infrastructure: A real case study, in: Proceedings 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, 2014, pp. 188 - 193 (atti di: 2014 IEEE 16th International Conference on e-Health Networking, Applications and Services, Natal, Brasil, 2014) [Contributo in Atti di convegno]

  • Padovani, Luca; Vasco Thudichum, Vasconcelos; Hugo Torres, Vieira, Typing Liveness in Multiparty Communicating Systems, in: Proceedings of the 16th International Conference on Coordination Models and Languages (COORDINATION'14), DEU, Springer, 2014, 8459, pp. 147 - 162 (atti di: 16th International Conference on Coordination Models and Languages, Berlino, Germania, June 3-5, 2014) [Contributo in Atti di convegno]

  • Castagna, Giuseppe; Nguyen, Kim; Xu, Zhiwu; Im, Hyeonseung; Lenglet, Serguei; Padovani, Luca, Polymorphic functions with set-theoretic types part 1: Syntax, semantics, and evaluation, in: Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’14), 2014, 49, pp. 5 - 17 (atti di: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, USA, January 22-24, 2014) [Contributo in Atti di convegno]

  • Dezani, Mariangiola; Padovani, Luca; J., Pantovic, Session Type Isomorphisms, in: Proceedings of the workshop on programming language approaches to concurrency and communication-cEntric software (PLACES’14), Waterloo, Open Publishing Association, 2014, pp. 61 - 71 (atti di: PLACES'14, Grenoble, 2014) [Contributo in Atti di convegno]

  • Padovani, Luca, Deadlock and Lock Freedom in the Linear π-Calculus, in: Proceedings of the Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science (CSL-LICS'14), USA, ACM - Association for Computing Machinery, 2014, pp. 1 - 10 (atti di: Joint 23rd EACSL Annual Conference on Computer Science Logic and 29th Annual ACM/IEEE Symposium on Logic In Computer Science, Vienna, Austria, July 14–18, 2014) [Contributo in Atti di convegno]

  • Padovani, Luca, Type Reconstruction for the Linear π-Calculus with Composite and Equi-Recursive Types, in: Proceedings of the 17th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'14), DEU, Springer, 2014, 8412, pp. 88 - 102 (atti di: 17th International Conference on Foundations of Software Science and Computation Structures, Grenoble, Francia, 5-13 April 2014) [Contributo in Atti di convegno]