Dynamic Controllability of Disjunctive Temporal Networks: Validation and Synthesis of Executable Strategies
2016-01-01 Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco
Strong Temporal Planning with Uncontrollable Durations: a State-Space Approach
2015-01-01 Cimatti, A.; Micheli, A.; Roveri, M
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
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)20245
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa42
- 2020 - 20263320
- 2010 - 20197194
- 2000 - 20096477
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2266
- Institute of Electrical and Elect...952
- Springer898
- ACM389
- IEEE Computer Society312
- Springer Verlag294
- SPIE181
- Association for Computational Lin...170
- CEUR-WS167
- Association for Computing Machinery161
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 SCIENCE679
- CEUR WORKSHOP PROCEEDINGS259
- PROCEEDINGS OF SPIE, THE INTERNAT...172
- IEEE INTERNATIONAL GEOSCIENCE AND...136
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...93
- DIGEST - IEEE ANTENNAS AND PROPAG...59
- PROCEEDINGS - IEEE COMPUTER SOCIE...55
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE50
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...30
- Settore INF/01 - Informatica21
- 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 ING-IND/22 - Scienza e Te...5
- 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
- eng15182
- ita3560
- und133
- fre96
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14991
- reserved3240
- open1520
- partially open486
- mixed8
- embargoed2