IRIS

Sfoglia per Serie  LECTURE NOTES IN ARTIFICIAL INTELLIGENCE

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 194 a 213 di 247
Titolo Data di pubblicazione Autore(i) File
Safe Learning with Real-Time Constraints: A Case Study 1-gen-2010 Metta, Giorgio; Natale, Lorenzo; Pathak, Shashank; Pulina, Luca; Tacchella, Armando
A SAT-based Decision Procedure for the Boolean Combination of Difference Constraints 1-gen-2005 Armando, Alessandro; Castellini, Claudio; Giunchiglia, Enrico; Maratea, Marco
SAT-Based Planning with Minimal-#actions Plans and "soft" Goals 1-gen-2007 Giunchiglia, Enrico; Maratea, Marco
SC2: Satisfiability checking meets symbolic computation (Project Paper) 1-gen-2016 Abraham, Erika; Abbott, JOHN ANTHONY; Becker, Bernd; Bigatti, ANNA MARIA; Brain, Martin; Buchberger, Bruno; Cimatti, Alessandro; Davenport, James H.; England, Matthew; Fontaine, Pascal; Forrest, Stephen; Griggio, Alberto; Kroening, Daniel; Seiler, Werner M.; Sturm, Thomas
A Scaled and Adaptive FISTA Algorithm for Signal-Dependent Sparse Image Super-Resolution Problems 1-gen-2021 Lazzaretti, M.; Rebegoldi, S.; Calatroni, L.; Estatico, C.
The Second QBF Solvers Comparative Evaluation 1-gen-2005 Le Berre, Daniel; Narizzano, Massimo; Simon, Laurent; Tacchella, Armando
The Second QBF Solvers Comparative Evaluation 1-gen-2005 Le Berre, D.; Narizzano, Massimo; Simon, L.; Tacchella, Armando
A sequent calculus for preferential conditional logic based on neighbourhood semantics 1-gen-2015 Negri, S.; Olivetti, N.
The Seventh QBF Solvers Evaluation (QBFEVAL'10) 1-gen-2010 Peschiera, C; Pulina, Luca; Tacchella, Armando; Bubeck, U; Kullmann, O; Lynce, I.
Smale-Like Decomposition and Forman Theory for Discrete Scalar Fields 1-gen-2011 Comic, Lidija; M. M., Mesmoudi; DE FLORIANI, Leila
Smart RogAgent: Where Agents and Humans Team Up 1-gen-2019 Capone, C.; Bordini, R. H.; Mascardi, V.; Delzanno, G.; Ferrando, A.; Gelati, L.; Guerrini, G.
SMART VIEW: A serious game supporting spatial orientation of subjects with cognitive impairments 1-gen-2014 Bottino, R. M.; Canessa, A.; Ott, M.; Tavella, M.
SMT-based Planning for Robots in Smart Factories 1-gen-2019 Bit-Monnot, Arthur; Leofante, Francesco; Pulina, Luca; Tacchella, Armando
Soft Clustering: Why and How-To 1-gen-2019 Rovetta, S.; Masulli, F.
Solving Multivariate Polynomial Systems and an Invariant from Commutative Algebra 1-gen-2021 Caminata, A.; Gorla, E.
Specification and Validation of Link Reversal Routing via Graph Transformations 1-gen-2013 Delzanno, Giorgio; Traverso, Riccardo
Static Analysis of XML Document Adaptations 1-gen-2012 Solimando, Alessandro; Delzanno, Giorgio; Guerrini, Giovanna
Stochastic supervised learning algorithms with local and adaptive learning rate for recognising hand-written characters 1-gen-2002 Giudici, M.; Queirolo, Filippo; Valle, Maurizio
Structured multi-class feature selection for effective face recognition 1-gen-2013 Fusco, Giovanni; Zini, Luca; Noceti, Nicoletta; Odone, Francesca
A Subset-Matching Size-Bounded Cache for Satisfiability in Modal Logics 1-gen-2000 Giunchiglia, Enrico; Tacchella, Armando
Mostrati risultati da 194 a 213 di 247
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