Formal Verification of Infinite-State BIP Models
2015-01-01 Bliudze, Simon; Cimatti, Alessandro; Jaber, Mohamad; Mover, Sergio; Roveri, Marco; Saab, Wajeb; Wang, Qiang
D-RPL: Overcoming Memory Limitations in RPL Point-To-Multipoint Routing
2015-01-01 Kiraly, C.; Istomin, Timofei; Iova, Oana Teodora; Picco, Gian Pietro
Development and field-test of a two axes Fresnel solar concentrator for Combined Heat and Power generation
2012-01-01 Bortolini, M.; Gamberi, M.; Graziani, A.; Cascini, A.; Manzini, R.; Santarelli, G.; Carlotti, S.; Carpineta, F.; Pilati, F.
Quando definire un confine? Il caso della val d'Isarco e della val Pusteria in età carolingia.
2019-01-01 Albertoni, Giuseppe
Il monastero di San Candido e i vescovi di Sabiona e Frisinga in val Pusteria nell'alto Medioevo (secoli VIII-X)
2019-01-01 Albertoni, Giuseppe
Inference of personality traits and affect schedule by analysis of spontaneous reactions to affective videos
2015-01-01 Khomami Abadi, Mojtaba; Miranda, J. Abdon; Wache, Julia; Yang, Hui; Patras, I.; Sebe, Niculae
Lapicida per nessuno: considerazioni sull’iscrizione del monte Pergol in Trentino.
2019-01-01 Angelucci, Diego; Curzel, Emanuele; Franceschini, Italo; Rapanà, Matteo
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, Marco; Gottlob, Georg; Pieris, Andreas
Unsupervised Tube Extraction Using Transductive Learning and Dense Trajectories
2015-01-01 Puscas, Mihai - Marian; Sangineto, Enver; Culibrk, Dubravko; Sebe, Niculae
Learning Deep Representations of Appearance and Motion for Anomalous Event Detection
2015-01-01 Xu, Dan; Song, Jingkuan; Yan, Yan; Ricci, E.; Sebe, Niculae
The Devil is in the Detail: A Magnifying Glass for the GuessWhich Visual Dialogue Game
2019-01-01 Testoni, Alberto; Shekhar, Ravi; Fernández, Raquel; Bernardi, Raffaella
Chase Termination for Guarded Existential Rules
2015-01-01 Calautti, Marco; Gottlob, Georg; Pieris, Andreas
Named Entity Recognition for the Mongolian Language
2015-01-01 Zoljargal, Munkhjargal; Bella, Gabor; Altangerel, Chagnaa; Giunchiglia, Fausto
Modeling strategy and numerical validation for a Darrieus vertical axis micro-wind turbine
2010-01-01 Castelli, Marco Raciti; Ardizzon, Guido; Battisti, Lorenzo; Benini, Ernesto; Pavesi, Giorgio
Beyond task success: A closer look at jointly learning to see, ask, and GuessWhat
2019-01-01 Shekhar, Ravi; Venkatesh, Aashish; Baumgärtner, Tim; Bruni, Elia; Plank, Barbara; Bernardi, Raffaella; Fernández, Raquel
Building a shared world: Mapping distributional to model-theoretic semantic spaces
2015-01-01 Herbelot, Aurélie; Vecchi, Eva Maria
Ask No More: Deciding when to guess in referential visual dialogue
2018-01-01 Ravi, Shekhar; Tim, Baumgärtner; Aashish, Venkatesh; Elia, Bruni; Bernardi, Raffaella; Raquel, Fernandez
Modeling and Composition of Environment-as-a-Service
2015-01-01 Peng, Tao; Chi, Chi Hung; Chiasera, Annamaria; Armellin, Giampaolo; Ronchetti, Marco; Matteotti, Cristina
Support of Part-whole Relations in Query Answering
2015-01-01 Kozikowski, P.; Ioannou, E.; Velegrakis, Ioannis; Guerra, F.
Deep Semantic Encodings for Language Modeling
2015-01-01 Bayer, Ali Orkan; Riccardi, Giuseppe
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Convegni (Proceedings)20385
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa42
- 2020 - 20263438
- 2010 - 20197210
- 2000 - 20096482
- 1990 - 19992663
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2245
- Institute of Electrical and Elect...985
- Springer898
- ACM381
- IEEE Computer Society320
- Springer Verlag296
- SPIE186
- Association for Computing Machinery173
- CEUR-WS169
- Association for Computational Lin...168
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE45
- IJCAI28
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE697
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...186
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...90
- PROCEEDINGS OF THE IEEE CONFERENC...60
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- PROCEEDINGS - IEEE COMPUTER SOCIE...53
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...31
- Settore INF/01 - Informatica22
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...7
- Settore ICAR/17 - Disegno5
- Settore L-ANT/08 - Archeologia Cr...5
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15303
- ita3579
- und133
- fre96
- spa74
- ger63
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14948
- reserved3319
- open1596
- partially open515
- mixed7
- embargoed2