Lemmas for satisfiability modulo transcendental functions via incremental linearization
2019-01-01 Irfan, A.; Cimatti, A.; Griggio, A.; Roveri, M.; Sebastiani, R.
Fine-grained controversy detection in Wikipedia
2015-01-01 Bykau, Siarhei; Korn, Flip; Srivastava, Divesh; Velegrakis, Ioannis
A Fast Method for Cloud Removal and Image Restoration on Time Series of Multispectral Images
2019-01-01 Bertoluzza, M.; Paris, C.; Bruzzone, L.
Geo-referenced proximity detection of wildlife with WildScope: design and characterization
2015-01-01 Picco, Gian Pietro; Molteni, Davide; Murphy, Amy L.; Ossi, Federico; Cagnacci, Francesca; Corrà, Michele; Nicoloso, Sandro
An Automatic Technique for Deciduous Trees Detection in High Density Lidar Data Based on Delaunay Triangulation
2019-01-01 Marinelli, Daniele; Paris, Claudia; Bruzzone, Lorenzo
Analysis Of An E-Learning Augmented Environment: A Semiotic Approach To Augmented Reality Applications
2019-01-01 Cicconi, Sergio; Marchese, Maurizio
Solving SAT and MaxSAT with a quantum annealer: Foundations and a preliminary report
2017-01-01 Bian, Zhengbing; Chudak, Fabian; Macready, William; Roy, Aidan; Sebastiani, Roberto; Varotti, Stefano
Verilog2SMV: A tool for word-level verification
2016-01-01 Irfan, Ahmed; Cimatti, Alessandro; Griggio, Alberto; Roveri, Marco; Sebastiani, Roberto
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT
2016-01-01 Sebastiani, Roberto; Trentin, Patrick
SoleSound: towards a novel portable system for audio-tactile ecological underfoot feedback
2014-01-01 Zanotto, D; Turchet, L; Boggs, E M; Agrawal, S K
Personal context modelling and annotation
2017-01-01 Giunchiglia, Fausto; Bignotti, Enrico; Zeni, Mattia
Maintaining Secure Business Processes in Light of Socio-Technical Systems' Evolution
2016-01-01 Salnitri, Mattia; Paja, Elda; Giorgini, Paolo
OptiMathSAT: A Tool for Optimization Modulo Theories
2015-01-01 Sebastiani, Roberto; Trentin, Patrick
Requirements evolution and evolution requirements with constrained goal models
2016-01-01 Nguyen, Chi Mai; Sebastiani, Roberto; Giorgini, Paolo; Mylopoulos, Ioannis
Multi-objective risk analysis with goal models
2016-01-01 Aydemir, Fatma Basak; Giorgini, Paolo; Mylopoulos, Ioannis
Towards a real-time BDI model for ROS 2
2019-01-01 Alzetta, Francesco; Giorgini, Paolo
A holistic approach for privacy protection in e-government
2017-01-01 Angelopoulos, Konstantinos; Diamantopoulou, Vasiliki; Mouratidis, Haralambos; Pavlidis, Michalis; Salnitri, Mattia; Giorgini, Paolo; Ruiz, José F.
La Cina in Africa e la sua narrazione nel XXI secolo
2019-01-01 Graziani, Sofia
Virtual crowds: An LSTM-based framework for crowd simulation
2019-01-01 Bisagno, N.; Garau, N.; Montagner, A.; Conci, N.
Building The Mongolian WordNet
2020-01-01 Batsuren, Khuyagbaatar; Ganbold, Amarsanaa; Chagnaa, Altangerel; Giunchiglia, Fausto
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)20234
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa41
- 2020 - 20263320
- 2010 - 20197192
- 2000 - 20096473
- 1990 - 19992659
- 1980 - 1989494
- 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
- eng15179
- ita3555
- und133
- fre96
- spa74
- ger60
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14980
- reserved3240
- open1520
- partially open486
- mixed8
- embargoed2