Sfoglia
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.001 a 6.020 di 27.403
Answer set enumeration via assumption literals
2016-01-01 Alviano, Mario; Dodaro, Carmine
Completion of disjunctive logic programs
2016-01-01 Alviano, Mario; Dodaro, Carmine
Core-guided MaxSAT with soft cardinality constraints
2014-01-01 Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao
The fourth answer set programming competition: Preliminary report
2013-01-01 Alviano, Mario; Calimeri, Francesco; Charwat, Günther; Dao Tran, Minh; Dodaro, Carmine; Ianni, Giovambattista; Krennwallner, Thomas; Kronegger, Martin; Oetsch, Johannes; Pfandler, Andreas; Pührer, Jörg; Redl, Christoph; Ricca, Francesco; Schneider, Patrik; Schwengerer, Martin; Spendier, Lara Katharina; Wallner, Johannes Peter; Xiao, Guohui
WASP: A native ASP solver based on constraint learning
2013-01-01 Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco
A MaxSAT algorithm using cardinality constraints of bounded size
2015-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
Allotment problem in travel industry: A solution based on ASP
2015-01-01 Dodaro, Carmine; Leone, Nicola; Nardi, Barbara; Ricca, Francesco
Advances in WASP
2015-01-01 Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
On the application of answer set programming to the conference paper assignment problem
2016-01-01 Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco
Comparing alternative solutions for unfounded set propagation in ASP
2013-01-01 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco
Solar Building Systems for the Mediterranean Region: Research Outputs Between Italy and France
2017-01-01 Cristofari, Christian; Giachetta, Andrea; Piccardo, Chiara
Web Communication by Italian Tourist Ports: A Websites Quality Assessment Exercise
2016-01-01 Benevolo, Clara; Spinelli, Riccardo
La pittura italiana della fine dell'Ottocento e dei primi del Novecento tra tecniche innovative e ritorno alla tradizione
2016-01-01 Bensi, Paolo
Non-core services efficiency improvement: How to find resources in the healthcare system
2016-01-01 Bendato, Ilaria; Cassettari, Lucia; Mosca, Marco; Mosca, Roberto
Droni per rilievo di facciata di Villa
2016-01-01 Pinto, Giancarlo; Ascheri, Caterina; Baccani, Jacopo; Celoria, Ilenio; Macciò, Serena; Parodi, Francesca; Ravera, Bruno
A Recommender System as a Support and Training Tool
2017-01-01 Torre, Ilaria; Torsani, Simone
Content-based retrieval and real time detection from video sequences acquired by surveillance systems
1998-01-01 Stringa, Elena; Regazzoni, Carlo
Markovian approach to color image restoration based on space filling curves
1997-01-01 Teschioni, A; Regazzoni, Carlo; Stringa, E.
Image restoration by means of statistical soft morphology
1997-01-01 Regazzoni, Carlo; Stringa, E.; Venetsanopoulos, A. N.
Signal restoration by statistical soft morphology
1997-01-01 Stringa, E; Regazzoni, Carlo
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Answer set enumeration via assumption literals | 1-gen-2016 | Alviano, Mario; Dodaro, Carmine | |
| Completion of disjunctive logic programs | 1-gen-2016 | Alviano, Mario; Dodaro, Carmine | |
| Core-guided MaxSAT with soft cardinality constraints | 1-gen-2014 | Morgado, Antonio; Dodaro, Carmine; Marques Silva, Joao | |
| The fourth answer set programming competition: Preliminary report | 1-gen-2013 | Alviano, Mario; Calimeri, Francesco; Charwat, Günther; Dao Tran, Minh; Dodaro, Carmine; Ianni, Giovambattista; Krennwallner, Thomas; Kronegger, Martin; Oetsch, Johannes; Pfandler, Andreas; Pührer, Jörg; Redl, Christoph; Ricca, Francesco; Schneider, Patrik; Schwengerer, Martin; Spendier, Lara Katharina; Wallner, Johannes Peter; Xiao, Guohui | |
| WASP: A native ASP solver based on constraint learning | 1-gen-2013 | Alviano, Mario; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco | |
| A MaxSAT algorithm using cardinality constraints of bounded size | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| Allotment problem in travel industry: A solution based on ASP | 1-gen-2015 | Dodaro, Carmine; Leone, Nicola; Nardi, Barbara; Ricca, Francesco | |
| Advances in WASP | 1-gen-2015 | Alviano, Mario; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco | |
| On the application of answer set programming to the conference paper assignment problem | 1-gen-2016 | Amendola, Giovanni; Dodaro, Carmine; Leone, Nicola; Ricca, Francesco | |
| Comparing alternative solutions for unfounded set propagation in ASP | 1-gen-2013 | Alviano, Mario; Dodaro, Carmine; Ricca, Francesco | |
| Solar Building Systems for the Mediterranean Region: Research Outputs Between Italy and France | 1-gen-2017 | Cristofari, Christian; Giachetta, Andrea; Piccardo, Chiara | |
| Web Communication by Italian Tourist Ports: A Websites Quality Assessment Exercise | 1-gen-2016 | Benevolo, Clara; Spinelli, Riccardo | |
| La pittura italiana della fine dell'Ottocento e dei primi del Novecento tra tecniche innovative e ritorno alla tradizione | 1-gen-2016 | Bensi, Paolo | |
| Non-core services efficiency improvement: How to find resources in the healthcare system | 1-gen-2016 | Bendato, Ilaria; Cassettari, Lucia; Mosca, Marco; Mosca, Roberto | |
| Droni per rilievo di facciata di Villa | 1-gen-2016 | Pinto, Giancarlo; Ascheri, Caterina; Baccani, Jacopo; Celoria, Ilenio; Macciò, Serena; Parodi, Francesca; Ravera, Bruno | |
| A Recommender System as a Support and Training Tool | 1-gen-2017 | Torre, Ilaria; Torsani, Simone | |
| Content-based retrieval and real time detection from video sequences acquired by surveillance systems | 1-gen-1998 | Stringa, Elena; Regazzoni, Carlo | |
| Markovian approach to color image restoration based on space filling curves | 1-gen-1997 | Teschioni, A; Regazzoni, Carlo; Stringa, E. | |
| Image restoration by means of statistical soft morphology | 1-gen-1997 | Regazzoni, Carlo; Stringa, E.; Venetsanopoulos, A. N. | |
| Signal restoration by statistical soft morphology | 1-gen-1997 | Stringa, E; Regazzoni, Carlo |
Prodotti della tipologia (ordinati per Data di deposito in Decrescente ordine): 6.001 a 6.020 di 27.403
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- Contributo in atti di convegno27403
- 01- Contributo su rivista1
Data di pubblicazione
- In corso di stampa70
- 2020 - 20274568
- 2010 - 20199180
- 2000 - 20098653
- 1990 - 19993803
- 1980 - 19891033
- 1970 - 197996
Editore
- Institute of Electrical and Elect...954
- IEEE944
- Springer263
- Springer Science and Business Med...196
- IEEE Computer Society195
- Springer Verlag173
- Elsevier B.V.116
- American Society of Mechanical En...106
- CEUR-WS106
- Genova University Press80
Rivista
- POS PROCEEDINGS OF SCIENCE92
- JOURNAL OF PHYSICS. CONFERENCE SE...86
- E3S WEB OF CONFERENCES56
- LECTURE NOTES IN COMPUTER SCIENCE37
- ATTI (CENTRO LIGURE PER LA STORIA...21
- ...SUMMER SCHOOL FRANCESCO TURCO....20
- AIP CONFERENCE PROCEEDINGS19
- EPJ WEB OF CONFERENCES17
Serie
- LECTURE NOTES IN ARTIFICIAL INTEL...136
- CEUR WORKSHOP PROCEEDINGS121
- LECTURE NOTES IN COMPUTER SCIENCE102
- LECTURE NOTES IN ELECTRICAL ENGIN...80
- IFAC-PAPERSONLINE66
- PROCEEDINGS OF SPIE, THE INTERNAT...32
- COMMUNICATIONS IN COMPUTER AND IN...27
- LECTURE NOTES IN CIVIL ENGINEERING26
- ADVANCES IN NEURAL INFORMATION PR...25
- LECTURE NOTES IN NETWORKS AND SYS...22
Keyword
- Electrical and Electronic Enginee...135
- Artificial Intelligence133
- Computer Science (all)123
- Computer Networks and Communications110
- Computer Science Applications1707...106
- Software101
- Control and Systems Engineering98
- Humans96
- Simulation95
- Theoretical Computer Science94
Lingua
- eng19870
- ita7301
- fre270
- spa153
- rus36
- ger28
- grc17
- lat16
- por16
- und14
Accesso al fulltext
- no fulltext23005
- reserved2661
- open1708
- partially open20
- restricted9